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)
) |