fact++

I'm using Protégé 4.3 and I want to save the results of the reasoner to the ontology file. When I stopped the reasoner, all results disappeared. How can I save results? Ignazio In Protégé, use File → Export inferred axioms as ontology… That should do what you're looking for. 来源： https://stackoverflow.com/questions/23079459/how-save-the-result-of-reasoner-fact-or-hermit-in-protege

I have question based on the topic: SOF - Einstein puzzle in OWL In the owl, all cardinality restrictions are based on functional and inverse functional properties of Object Properties. I have remodeled it using QCRs. Old model (example): man drinks some beverage; drinks -> functional, inferse functional New model /EDITED/ : man drinks exactly 1 beverage; beverage drinkedBy exactly 1 man; drinks -> domain:man, range:beverage drinkedBy -> domain:beverage, range:man drinks inverseOf drinkedBy I replaced all "some" with "exactly 1". I think the first type is equivalent to the second model, but