FaCT++ reasoner for OWL Protege

StackOverflow https://stackoverflow.com/questions/20770572

  •  21-09-2022
  •  | 
  •  

Question

I downloaded OWL Protege 4.3. I built an ontology and I want to check the consistency of a given configuration.

I'm totally new to the software and I don't know how to use faCT++ with OWL protege. I can see that I can select a reasoner from "Reasoner > FaCt++" but what should I do then?

Thank you in advance.

Was it helpful?

Solution

You need to start the reasoner after having selected it. The command is in the same menu.

Licensed under: CC-BY-SA with attribution
Not affiliated with StackOverflow
scroll top