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-dev] Fact++ rules

Lorenz Bühmann buehmann at
Wed Dec 30 03:12:45 PST 2015

Hello Brise,

how can anybody help you without seeing the whole ontology? What do 
expect as result supposed that the ontology consists only of axioms 
shown as the hierarchy in picture 2?


> Good Morning
> I use the reasoner Fact++. I like to know the subclass of the Human whose
> eat the fruit the rule is b>Human and eat some fruit/b> when I check
> SubClass I found 0 results.
> here two pictures which explain more the situation.
> Thanks in advance
> <>
> <>
> --
> View this message in context:
> Sent from the Protege Developer mailing list archive at
> _______________________________________________
> protege-dev mailing list
> protege-dev at
Lorenz Bühmann
AKSW group, University of Leipzig
Group: - semantic web research center

More information about the protege-dev mailing list