Search Mailing List Archives
[protege-owl] does protege allow this kind of check consistency?
sara.paiva at gmail.com
Thu Apr 29 08:45:25 PDT 2010
Oh i get you point.
But i want to go a little further than that and that´s what i don´t know the
reasoner can do.
Let me clarify for you.
Suppose i want to transform a query into a owl class description just to see
if the query can be satisfied (not obtain results).
now suppose restriction 1 is "number of pages is 1" and the other
restriction is "number of pages is 2". this query makes no sense as no book
can have 1 page and, at the same time, 2 pages. Right?
are you understanding me? do you think this can be done?
plus: is there the notion of "and" and "or" because the same two
restrictions above with "or" already made sense.......
hope I am not making this confusing.
View this message in context: http://protege-ontology-editor-knowledge-acquisition-system.136.n4.nabble.com/does-protege-allow-this-kind-of-check-consistency-tp2075649p2075726.html
Sent from the Protege OWL mailing list archive at Nabble.com.
More information about the protege-owl