Can an owl: class and owl: a restriction have to be removed from the definitions of the restriction classes?

Are these statements the same? Is there a problem if I remove owl:Restrictionand owl:Class. they seem redundant, but this is always the way I see examples on the Internet. owl:onPropertyhas a domain owl:Restriction, and owl:Restrictiona subclass of owl:Class.

:myClass owl:equivalentClass  
[a owl:Class ;
          owl:intersectionOf (
          [ a owl:Restriction ; owl:onProperty :hasProp  ; owl:allValuesFrom  :SomeOtherClass ]
          [ a owl:Restriction ; owl:onProperty :hasChild ; owl:someValuesFrom :SomeOtherClass ] ) ] .



:myClass owl:equivalentClass  
[owl:intersectionOf  (
  [ owl:onProperty :hasProp ; owl:allValuesFrom  :SomeOtherClass ]
  [ owl:onProperty :hasProp ; owl:someValuesFrom :SomeOtherClass ] )
] .
+4
source share
1 answer
. , , RDF OWL (2) . OWL 2 , , , , . , RDF OWL, , , , , ..

, , , . :

:myClass  owl:intersectionOf  ( owl:Thing ) .

, :myClass owl:Class. , :

:myClass owl:equivalentClass  
[owl:intersectionOf  (
  [ owl:onProperty :hasProp ; owl:allValuesFrom  :SomeOtherClass ]
  [ owl:onProperty :hasProp ; owl:someValuesFrom :SomeOtherClass ] )
] .

, :myClass , - owl:equivalentClass; owl:Restriction, - owl:onProperty; , node owl:intersectionOf .

, , :SomeOtherClass , , :hasProp . , , .

: " pratice?" , , . OWL- RDF OWL, , . , Protégé, , . Protégé . - owl:Restriction owl:Class . :myClass, Protégé , :myClass. :

# This does not work in Protégé 4.3
@prefix : <http://ex.com/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .

:myClass owl:equivalentClass [
    owl:intersectionOf  (
        [ owl:onProperty :hasProp; owl:allValuesFrom  :SomeOtherClass ]
        [ owl:onProperty :hasProp; owl:someValuesFrom :SomeOtherClass ]
    )
] .

# This works in Protégé 4.3
@prefix : <http://ex.com/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .

:myClass a owl:Class;
    owl:equivalentClass [
        owl:intersectionOf  (
            [ owl:onProperty :hasProp; owl:allValuesFrom  :SomeOtherClass ]
            [ owl:onProperty :hasProp; owl:someValuesFrom :SomeOtherClass ]
        )
    ] .

, Protégé :hasProp , .

, , , owl:Restriction, RDF - OWL 2 DL OWL 2 . :

@prefix : <http://ex.com/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .

:SomeOtherClass a owl:Class .
:hasProp a owl:ObjectProperty .
:myClass a owl:Class;
  owl:equivalentClass [
    owl:intersectionOf  (
      [ owl:onProperty :hasProp; owl:allValuesFrom  :SomeOtherClass ]
      [ owl:onProperty :hasProp; owl:someValuesFrom :SomeOtherClass ]
    )
  ] .

: OWL 2, , RDF OWL 2 DL. .

+6

Source: https://habr.com/ru/post/1528249/


All Articles