Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] does protege allow this kind of check consistency?

sop sara.paiva at
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:
Sent from the Protege OWL mailing list archive at

More information about the protege-owl mailing list