Ontology(<http://nomagic.com/ontology/example-case/case-18>
Declaration(
Class(:Acid)
)
Declaration(
Class(:Liquid)
)
Declaration(
ObjectProperty(:isCorrodedBy)
)
Declaration(
ObjectProperty(:isDissolvedBy)
)
AnnotationAssertion(rdfs:label :Acid "Acid"@en)
SubClassOf(:Acid :Liquid)
AnnotationAssertion(rdfs:label :Liquid "Liquid"@en)
SubClassOf(
owl:Thing
ObjectIntersectionOf(
ObjectMinCardinality(1 :isCorrodedBy :Acid)
)
)
SubClassOf(
owl:Thing
ObjectIntersectionOf(
ObjectMinCardinality(1 :isDissolvedBy :Liquid)
)
)
AnnotationAssertion(rdfs:label :isCorrodedBy "is corroded by"@en)
SubObjectPropertyOf(:isCorrodedBy :isDissolvedBy)
ObjectPropertyRange(:isCorrodedBy :Acid)
AnnotationAssertion(rdfs:label :isDissolvedBy "is dissolved by"@en)
ObjectPropertyRange(:isDissolvedBy :Liquid)
) |