Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-dev] Adding a Class Expression similar to the Class Expression Editor

Matthew Horridge matthew.horridge at stanford.edu
Mon Feb 4 14:37:30 PST 2019


The example is run as a test case, so it will be run when the tests are executed.

If you want to run the code separately then I’d put it in a main method and use the maven exec plugin [1]

Cheers,

Matthew

[1] https://www.mojohaus.org/exec-maven-plugin/usage.html


On Feb 4, 2019, at 12:19, Kenny Cason <Kenneth.Cason at radiancetech.com<mailto:Kenneth.Cason at radiancetech.com>> wrote:

Is there a way to compile and run just this example program for testing? I can use Maven to compile everything but can’t seem to run just this program:

$ find . -name Examples.*
./org/semanticweb/owlapi/examples/Examples.class

kcason at 36CRNN2 MINGW64 ~/Desktop/apis/owlapi-version5/contract/target/test-classes
$ java  org.semanticweb.owlapi.examples.Examples
java.lang.NoClassDefFoundError: org/semanticweb/owlapi/io/OWLOntologyDocumentTarget
        at java.lang.Class.getDeclaredMethods0(Native Method)
        at java.lang.Class.privateGetDeclaredMethods(Unknown Source)
        at java.lang.Class.privateGetMethodRecursive(Unknown Source)
        at java.lang.Class.getMethod0(Unknown Source)
        at java.lang.Class.getMethod(Unknown Source)
        at sun.launcher.LauncherHelper.validateMainClass(Unknown Source)
        at sun.launcher.LauncherHelper.checkAndLoadMain(Unknown Source)
Caused by: java.lang.ClassNotFoundException: org.semanticweb.owlapi.io.OWLOntologyDocumentTarget
        at java.net.URLClassLoader.findClass(Unknown Source)
        at java.lang.ClassLoader.loadClass(Unknown Source)
        at sun.misc.Launcher$AppClassLoader.loadClass(Unknown Source)
        at java.lang.ClassLoader.loadClass(Unknown Source)
        ... 7 more
Error: A JNI error has occurred, please check your installation and try again
Exception in thread "main"

Is there a CLASSPATH variable I’m missing?

-Kenny

From: protege-dev <protege-dev-bounces at lists.stanford.edu<mailto:protege-dev-bounces at lists.stanford.edu>> On Behalf Of Kenny Cason
Sent: Friday, February 1, 2019 5:36 PM
To: Developer support for WebProtege and Protege Desktop <protege-dev at lists.stanford.edu<mailto:protege-dev at lists.stanford.edu>>
Subject: Re: [protege-dev] Adding a Class Expression similar to the Class Expression Editor

That is fabulous! I’ll give it a try.

-Kenny

From: protege-dev <protege-dev-bounces at lists.stanford.edu<mailto:protege-dev-bounces at lists.stanford.edu>> On Behalf Of Matthew Horridge
Sent: Friday, February 1, 2019 4:25 PM
To: Developer support for WebProtege and Protege Desktop <protege-dev at lists.stanford.edu<mailto:protege-dev at lists.stanford.edu>>
Subject: Re: [protege-dev] Adding a Class Expression similar to the Class Expression Editor

Hi Kenny,

Take a look at the example here:

https://github.com/owlcs/owlapi/blob/version5/contract/src/test/java/org/semanticweb/owlapi/examples/DLQueryExample.java

It may contain some code (for parsing and input expression) that may be what you’re looking for.

Cheers,

Matthew


On Feb 1, 2019, at 10:25, Kenny Cason <Kenneth.Cason at radiancetech.com<mailto:Kenneth.Cason at radiancetech.com>> wrote:

I want to add the following Class Expression to a known class:

(not(hasDog some Dog)) or (hasCat value i_Fluffy)

I can build each individual element into OWLClassExpression objects, then create axioms to contain them, then add them to my ontology…
…but the Protégé “Class expression editor” allows me to simply enter the above text, press the Ok button, and all required axioms, etc, are created by Protégé.

Is there a Protégé method (or combination of methods) I can call with the above text and have it create all the required axioms and add it to my ontology?
I don’t need a GUI, just a method call in the background of a plugin I’m witting. This would be SO much simpler than trying to create each axiom individually.
I tried dissecting the Class Expression Editor to figure out how it does this but kept going around in circles in the code.

Thanks,

-Kenny Cason
Radiance Technologies
Cyber Solutions Group
3133 General Hudnell Dr. Ste. 116
San Antonio, TX 78226
Kenneth.Cason at radiancetech.com<mailto:Kenneth.Cason at radiancetech.com>
206.550.0049<tel:206.550.0049>

_______________________________________________
protege-dev mailing list
protege-dev at lists.stanford.edu<mailto:protege-dev at lists.stanford.edu>
https://mailman.stanford.edu/mailman/listinfo/protege-dev

_______________________________________________
protege-dev mailing list
protege-dev at lists.stanford.edu<mailto:protege-dev at lists.stanford.edu>
https://mailman.stanford.edu/mailman/listinfo/protege-dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-dev/attachments/20190204/8cb8f230/attachment.html>


More information about the protege-dev mailing list