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] P3.4, data property with range xsd:float, reasoning

Liu, Richard richard.liu at
Thu May 22 00:04:59 PDT 2008

I'm experiencing this problem with P3.4 build 130:


"r" is an individual of class "Report", "mentionsDuration" is a data
property with domain "Report" and range xsd:float, and
"mentionsDuration(r, d)", where "d" is of type xsd:float. A subclass of
"Report", "ReportMentionsDuration", is defined with the necessary and
sufficient condition "mentionsDuration some float". After reasoning and
inferring with direct Pellet 1.5.1 "r" unexpectedly does not appear
inferred in "ReportMentionsDuration".


I also tried FACT++ and Pellet through DIG, but they don't infer that
"r" belongs to "ReportMentionsDuration" either.  Am I missing something





Richard Liu

Group Research Information

Scientific Information Resources

F. Hoffmann-La Roche Ltd.


Bldg. 092/6.01

CH-4070 Basel, Switzerland

Phone: +41 (0)61 687 92 14

FAX: +41 (0)61 688 95 70

richard.liu at

Confidentiality Note: This message is intended only for the use of the
named recipient(s) and may contain confidential and/or privileged
information. If you are not the intended recipient, please contact the
sender and delete this message. Any unauthorized use of the information
contained in this message is prohibited.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the protege-owl mailing list