OWL's EquivalentClass vs. SubClassOf -


what difference between equivalentclass , subclass of? while reading through owl primer, find tutorial uses subclassof lot declare new class, follows

subclassof(   :teenager   datasomevaluesfrom( :hasage     datatyperestriction( xsd:integer       xsd:minexclusive "12"^^xsd:integer       xsd:maxinclusive "19"^^xsd:integer     )   ) ) 

can write

equivalentclass(   :teenager   datasomevaluesfrom( :hasage     datatyperestriction( xsd:integer       xsd:minexclusive "12"^^xsd:integer       xsd:maxinclusive "19"^^xsd:integer     )   ) ) 

instead?

when stating a subclass of b, restricts a inherit characteristics of b, but not other way around. in example, a = teenager, , b = hasage [12:19] (my own notation, idea).

this means instance of teenager in owl ontology must have property hasage value in range [12:19], not other way around. specifically, not mean instance of property hasage value in range [12:19] instance of teenager. make clear, consider instance (called c) of class car. might that:

c . hasage 13

this says instance c of car 13 years old. however, subclass axiom defining teenager above, reasoner not infer c instance of teenager (perhaps we'd want, if teenagers people, not cars).

the difference when using equivalence subclass relationship implied go in both directions. so, if instead include second axiom defined teenager equivalent property hasage value in range [12:19], reasoner infer car c instance of teenager.


Comments

Popular posts from this blog

android - Spacing between the stars of a rating bar? -

html - Instapaper-like algorithm -

c# - How to execute a particular part of code asynchronously in a class -