Administrator
|
Hi,
You need to call the reasoner (with sync_reasoner()) if you want to perform inferences on the ontology. It corresponds to the "Start reasoner" menu in Protégé.
Owlready exposes "some" restriction (such as the one in your example) as class properties, which facilitates their use. You can also access them as superclasses (in onto.Chair_1.is_a), as in Protégé, if needed.
Jiba
|