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 informatik.uni-leipzig.de
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?

Lorenz

> 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
>
> <http://protege-project.136.n4.nabble.com/file/n4664219/img1.png>
> <http://protege-project.136.n4.nabble.com/file/n4664219/img2.png>
>
>
>
> --
> View this message in context: http://protege-project.136.n4.nabble.com/Fact-rules-tp4664219.html
> Sent from the Protege Developer mailing list archive at Nabble.com.
> _______________________________________________
> protege-dev mailing list
> protege-dev at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-dev
>
-- 
Lorenz Bühmann
AKSW group, University of Leipzig
Group: http://aksw.org - semantic web research center



More information about the protege-dev mailing list