A class with subproperty that has no range.
Ontology(<http://nomagic.com/ontology/example-case/case-16> Declaration( Class(:Game) ) Declaration( Class(:SoccerMatch) ) Declaration( ObjectProperty(:isACompetitionBetween) ) Declaration( ObjectProperty(:isPlayedBetween) ) AnnotationAssertion(rdfs:label :Game "Game"@en) SubClassOf( :Game ObjectIntersectionOf( ObjectMinCardinality(2 :isPlayedBetween) ) ) AnnotationAssertion(rdfs:label :SoccerMatch "Soccer Match"@en) SubClassOf(:SoccerMatch :Game) SubClassOf( :SoccerMatch ObjectIntersectionOf( ObjectMaxCardinality(2 :isACompetitionBetween) ObjectMinCardinality(2 :isACompetitionBetween) ) ) AnnotationAssertion(rdfs:label :isACompetitionBetween "is a competition between"@en) SubObjectPropertyOf(:isACompetitionBetween :isPlayedBetween) ObjectPropertyDomain(:isACompetitionBetween :SoccerMatch) AnnotationAssertion(rdfs:label :isPlayedBetween "is played between"@en) ObjectPropertyDomain(:isPlayedBetween :Game) )
Related page