Writing reasoner inferences to file

[Lewis John Mcgibbney-2]

Hi protege-user@,

Does functionality exist to write a reasoned inference subgraph to file to assist with manual inspection?

It is not clear to me if this is existing functionality.

Thank you in advance,

Lewis

--

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

[Michael DeBellis-2]

There is functionality to write an entire ontology to a file with all the reasoner inferences. Use the command File>Export inferred axioms as ontology It's pretty self explanatory but there is an issue with the file that is written so I wrote a blog post explaining how to use the command in a bit more detail: https://www.michaeldebellis.com/post/export-inferred-axioms  I don't know of a way to do this for just a subgraph though. 

Michael

On Wed, Nov 6, 2019 at 4:09 PM Lewis John Mcgibbney <[hidden email]> wrote:

Hi protege-user@,

Does functionality exist to write a reasoned inference subgraph to file to assist with manual inspection?

It is not clear to me if this is existing functionality.

Thank you in advance,

Lewis

--

Lewis

Dr. Lewis J. McGibbney Ph.D, B.Sc

Skype: lewis.john.mcgibbney

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

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

[Lewis John Mcgibbney-2]

Thank you Michael

On Thu, Nov 7, 2019 at 12:07 PM <[hidden email]> wrote:

Message: 4
Date: Wed, 6 Nov 2019 17:13:46 -0800
From: Michael DeBellis <[hidden email]>
To: User support for WebProtege and Protege Desktop
        <[hidden email]>
Subject: Re: [protege-user] Writing reasoner inferences to file
Message-ID:
        <[hidden email]>
Content-Type: text/plain; charset="utf-8"

There is functionality to write an entire ontology to a file with all the
reasoner inferences. Use the command File>Export inferred axioms as
ontology It's pretty self explanatory but there is an issue with the file
that is written so I wrote a blog post explaining how to use the command in
a bit more detail:
https://www.michaeldebellis.com/post/export-inferred-axioms  I don't know
of a way to do this for just a subgraph though.

Michael

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