Protege 4.3 export inferred ontology?

classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

Protege 4.3 export inferred ontology?

Obrst, Leo J.

I expected that if I “exported inferred axioms as ontology” that I would see base ontology 1 + inferred ontology 2 = new ontology 3 (1+2), i.e., that the inferred axioms would be reified INTO the base ontology and then saved. But that is NOT the case.

 

I instead get the inferred part of ontology 1 only, a subset of inferred ontology 2. If there were no inferred additions to some construct of ontology 1, that non-inferred part was excluded, even though that non-inferred part is indeed included in the original Protégé “Class hierarchy (inferred)” tab displayed in base ontology 1 after the reasoner has run.

 

Is there a way to do what I want, i.e., generate new ontology 3?

 

An alternative might be to subsequently merge ontology 1 and ontology 2 in a new session. However, I have encountered problems with ontology merging in the past, especially when one has imported files. E.g., the imported files get written over without warning, whatever the parameters one sets for merging. I.e., even if one selects “merge into new ontology” the existing ontologies’ imported ontologies get written over. I had to do a file system backup and restore to recover.

 

Thanks,

Leo

_____________________________________________

Dr. Leo Obrst        The MITRE Corporation, Information Semantics

[hidden email]     Information Discovery & Understanding, C2C

Voice: 703-983-6770  7515 Colshire Drive, M/S H305

Fax: 703-983-1379    McLean, VA 22102-7508, USA



 

                                                                                                                                                    


_______________________________________________
protege-owl mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-owl

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
Reply | Threaded
Open this post in threaded view
|

Re: Protege 4.3 export inferred ontology?

Alan Ruttenberg-2
Consider owl:importing the inferred axiom document. 

On Sunday, April 28, 2013, Obrst, Leo J. wrote:

I expected that if I “exported inferred axioms as ontology” that I would see base ontology 1 + inferred ontology 2 = new ontology 3 (1+2), i.e., that the inferred axioms would be reified INTO the base ontology and then saved. But that is NOT the case.

 

I instead get the inferred part of ontology 1 only, a subset of inferred ontology 2. If there were no inferred additions to some construct of ontology 1, that non-inferred part was excluded, even though that non-inferred part is indeed included in the original Protégé “Class hierarchy (inferred)” tab displayed in base ontology 1 after the reasoner has run.

 

Is there a way to do what I want, i.e., generate new ontology 3?

 

An alternative might be to subsequently merge ontology 1 and ontology 2 in a new session. However, I have encountered problems with ontology merging in the past, especially when one has imported files. E.g., the imported files get written over without warning, whatever the parameters one sets for merging. I.e., even if one selects “merge into new ontology” the existing ontologies’ imported ontologies get written over. I had to do a file system backup and restore to recover.

 

Thanks,

Leo

_____________________________________________

Dr. Leo Obrst        The MITRE Corporation, Information Semantics

<a href="javascript:_e({}, &#39;cvml&#39;, &#39;lobrst@mitre.org&#39;);" target="_blank">lobrst@...     Information Discovery & Understanding, C2C

Voice: 703-983-6770  7515 Colshire Drive, M/S H305

Fax: 703-983-1379    McLean, VA 22102-7508, USA



 

                                                                                                                                                    


_______________________________________________
protege-owl mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-owl

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03