Featured post
rdf - Mixing EquivalentClass and SubClass in OWL -
i'm curious mixing subclassof , equivalentclass in class description, , how reasoner behave.
specifically, if have both equivalentclass , subclassof assertion same class, both equivalentclass , subclassof conditions need satisfied individual classified in class, or equivalentclass?
or bad practice?
for example (declarations omitted):
objectpropertyrange(:format :bar) objectpropertyrange(:format owl:thing) equivalentclass(:foo objectsomevaluesfrom(:format :bar)) subclassof(:foo :sna) i want ensure in case below, :x classified :foo, because both equivalentclass , subclassof assertions satisfied:
classassertion(:x :sna) objectpropertyassertion(:format :x :somebar) but :y not, because subclassof not satisfied:
classassertion(:y :notasna) objectpropertyassertion(:format :y :someotherbar) thanks,
jonathan
i don't understand question i'll try clarify things. first of all, following axioms seem irrelevant question (and second redundant anyway because owl:thing property's range):
objectpropertyrange(:format :bar) objectpropertyrange(:format owl:thing) the other thing equivalentclasses-axioms can seen syntactic sugar subclassof-axioms, e.g.
equivalentclasses(c1 c2) is logically equivalent to
subclassof(c1 c2) subclassof(c2 c1) so can rewrite equivalentclasses as:
subclassof(objectsomevaluesfrom(:format :bar) :foo) subclassof(:foo objectsomevaluesfrom(:format :bar)) this maybe simplify understanding of entailments ontology makes.
now, if say:
classassertion(:x :sna) objectpropertyassertion(:format :x :somebar) i assuming want say:
classassertion(:x :sna) classassertion(:somebar :bar) objectpropertyassertion(:format :x :somebar) this entails :x both :foo , :sna, possible because :foo subclass of :sna.
when say
classassertion(:y :notasna) objectpropertyassertion(:format :y :someotherbar) i assume mean:
classassertion(:y :notasna) classassertion(:someotherbar :bar) disjointclasses(:notasna :sna) objectpropertyassertion(:format :y :someotherbar) this logical inconsistency because :y entailed :foo (which subclass of :sna), @ same time :y asserted in class disjoint :sna.
note didn't use knowledge that
subclassof(:foo objectsomevaluesfrom(:format :bar)) which followed equivalentclasses-axiom.
- Get link
- X
- Other Apps
Comments
Post a Comment