Writing reasoner inferences to file

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

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

--
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
Reply | Threaded
Open this post in threaded view
|

Re: Writing reasoner inferences to file

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
Reply | Threaded
Open this post in threaded view
|

Re: Writing reasoner inferences to file

Lewis John Mcgibbney-2
In reply to this post by 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