{var%20f='http://v.t.sina.com.cn/share/share.php?appkey=1515056452',u=z||d.location,p=['&url=',e(u),'&title=',e(t||d.title),'&source=',e(r),'&sourceUrl=',e(l),'&content=',c||'gb2312','&pic=',e(p||'')].join('');function%20a(){if(!window.open([f,p].join(''),'mb',['toolbar=0,status=0,resizable=1,width=440,height=430,left=',(s.width-440)/2,',top=',(s.height-430)/2].join('')))u.href=[f,p].join('');};if(/Firefox/.test(navigator.userAgent))setTimeout(a,0);else%20a();})(screen,document,encodeURIComponent,'','','https://www.manongdao.com/data/attach/logo/logo.png', '推荐 Root（大扎） 的问题《How save the result of reasoner FaCT++ or HermiT i》','https://www.manongdao.com/q-729377.html','页面编码gb2312|utf-8默认gb2312'));){kind=link}
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?
相关问题
- How can I optimize a SPARQL query that returns opt
- Calculate the depth of subclass in the OWL ontolog
- owl:someValuesFrom vs. owl:minCardinalilty
- map owl to neo4j (java example)
- merge equivalent classes using owl API
相关文章
- The difference between blank nodes and variables i
- Meaning of owl:hasValue?
- boundary for arbitrary property path in SPARQL 1.1
- Jena Fuseki assembler file + TDB + OWL reasoner
- How to recursively expand blank nodes in SPARQL co
- Querying DBpedia for English-only description (wit
- OWL ObjectProperty loading as annotation in Protég
- owl - protege not inferring correctly? how to defi
In Protégé, use File → Export inferred axioms as ontology…
That should do what you're looking for.