Export inferred axioms as ontology

Discussion:

HsgUnileon

2011-06-30 10:11:28 UTC

Hello,
I try to export inferred axioms as ontology in my project with different
reasoners but it doesn't work, it indefinitely stopped or showed an error. I
found some topics about it but it hadn't a concrete solution. When I unmark
disjoint classes it works fine but it doesn't infer properties so it is
useless for my project.
Is there another way to export inferred axioms?

Thanks in advance.

--
View this message in context: http://protege-ontology-editor-knowledge-acquisition-system.136.n4.nabble.com/Export-inferred-axioms-as-ontology-tp3635255p3635255.html
Sent from the Protege OWL mailing list archive at Nabble.com.
_______________________________________________
protege-owl mailing list
protege-***@lists.stanford.edu
https://mailman.stanford.edu/mailman/listinfo/protege-owl

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

Timothy Redmond

2011-06-30 15:03:25 UTC

Permalink

Post by HsgUnileon
Hello,
I try to export inferred axioms as ontology in my project with different
reasoners but it doesn't work, it indefinitely stopped or showed an error. I
found some topics about it but it hadn't a concrete solution. When I unmark
disjoint classes it works fine but it doesn't infer properties so it is
useless for my project.
Is there another way to export inferred axioms?

Yes there are other ways of exporting inferred axioms. The pellet
command line for example will allow you to calculate inferred axioms in
a new ontology.

But Protege should work - the export of inferred ontologies is a
relatively simple task. Which version of Protege are you using? The
latest Protege 4.1 is probably recommended. When you say indefinitely
stopped does this mean that it is just taking a long time (e.g. one cpu
is pegged) or that the process simply died somehow? What errors are you
seeing?

-Timothy

Post by HsgUnileon
Thanks in advance.
--
View this message in context: http://protege-ontology-editor-knowledge-acquisition-system.136.n4.nabble.com/Export-inferred-axioms-as-ontology-tp3635255p3635255.html
Sent from the Protege OWL mailing list archive at Nabble.com.
_______________________________________________
protege-owl mailing list
https://mailman.stanford.edu/mailman/listinfo/protege-owl
Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03

_______________________________________________
protege-owl mailing list
protege-***@lists.stanford.edu
https://mailman.stanford.edu/mailman/listinfo/protege-owl

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

HsgUnileon

2011-06-30 15:41:47 UTC

Permalink

Pellet and Pellet (Incremental) give me attached errors and with Hermit one
cpu is peged, the reasoner stops in Disjoint Classes. When I unmark this
option all the reasoners work properly.
I use Protégé 4.1 and everything is updated.
Thank you for your answer.

http://protege-ontology-editor-knowledge-acquisition-system.136.n4.nabble.com/file/n3636051/Error_Pellet.txt
Error_Pellet.txt
http://protege-ontology-editor-knowledge-acquisition-system.136.n4.nabble.com/file/n3636051/Error_Pellet_Incremental.txt
Error_Pellet_Incremental.txt

--
View this message in context: http://protege-ontology-editor-knowledge-acquisition-system.136.n4.nabble.com/Export-inferred-axioms-as-ontology-tp3635255p3636051.html
Sent from the Protege OWL mailing list archive at Nabble.com.
_______________________________________________
protege-owl mailing list
protege-***@lists.stanford.edu
https://mailman.stanford.edu/mailman/listinfo/protege-owl

Instructions for unsubscribing:

Timothy Redmond

2011-07-01 14:14:02 UTC

Permalink

The pellet issues look like pellet bugs at first glance. You could try
to contact the pellet developers on the pellet mailing lists
(http://lists.owldl.com/mailman/listinfo/pellet-users/). The one thing
that is strange about your report is that it looks like pellet is
getting into trouble in the generation of the inferred object
characteristics and not in the generation of the disjoint classes. They
will probably want to see your ontology but you will probably be able to
send it off the mailing list if privacy is an issue.

The HermiT case is much less clear. You could contact the HermiT group
on their bugs mailing address (bug-***@hermit-reasoner.com) but with
the information I have so far the report would be a bit vague. As it is
it is quite possible that the problem is with Protege or the OWL api.
Or this might just be an inherently expensive operation and you will
have to wait? If you want you can send me the ontology (off the list if
you like) and I can take a look and perhaps generate a report for you.
It is interesting that Protege uses a custom disjoint classes generator
that is different than the one used by the OWL api.

Finally you didn't mention that you tried FaCT++. It is very likely
that you will have a different experience with FaCT++ than the other two
reasoners. I often switch between reasoners when I am having
performance difficulties.

-Timothy

Post by HsgUnileon
Pellet and Pellet (Incremental) give me attached errors and with Hermit one
cpu is peged, the reasoner stops in Disjoint Classes. When I unmark this
option all the reasoners work properly.
I use Protégé 4.1 and everything is updated.
Thank you for your answer.
http://protege-ontology-editor-knowledge-acquisition-system.136.n4.nabble.com/file/n3636051/Error_Pellet.txt
Error_Pellet.txt
http://protege-ontology-editor-knowledge-acquisition-system.136.n4.nabble.com/file/n3636051/Error_Pellet_Incremental.txt
Error_Pellet_Incremental.txt
--
View this message in context: http://protege-ontology-editor-knowledge-acquisition-system.136.n4.nabble.com/Export-inferred-axioms-as-ontology-tp3635255p3636051.html
Sent from the Protege OWL mailing list archive at Nabble.com.
_______________________________________________
protege-owl mailing list
https://mailman.stanford.edu/mailman/listinfo/protege-owl
Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03

HsgUnileon

2011-08-17 11:20:27 UTC

Permalink

Finally I got a solution, I exported with Hermit everything but disjoint
classes, then I exported disjoint classes with Pellet, last I mixed inferred
axioms as a new ontology.

It was an unfashionable way but it worked. I got the answer long time ago
but I have been very busy since then, sorry about that.

Thank you for your interest Timothy.

--
View this message in context: http://protege-ontology-editor-knowledge-acquisition-system.136.n4.nabble.com/Export-inferred-axioms-as-ontology-tp3635255p3749637.html
Sent from the Protege OWL mailing list archive at Nabble.com.
_______________________________________________
protege-owl mailing list
protege-***@lists.stanford.edu
https://mailman.stanford.edu/mailman/listinfo/protege-owl

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