Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

NullPointerException in ElkReasoner.java line 479 #1

Closed
GoogleCodeExporter opened this issue Oct 16, 2015 · 1 comment
Closed

NullPointerException in ElkReasoner.java line 479 #1

GoogleCodeExporter opened this issue Oct 16, 2015 · 1 comment

Comments

@GoogleCodeExporter
Copy link

Given the ontology:

Prefix(:=<file:/c/test.owl#>)
Prefix(a:=<file:/c/test.owl#>)
Prefix(rdfs:=<http://www.w3.org/2000/01/rdf-schema#>)
Prefix(owl2xml:=<http://www.w3.org/2006/12/owl2-xml#>)
Prefix(test:=<file:/c/test.owl#>)
Prefix(owl:=<http://www.w3.org/2002/07/owl#>)
Prefix(xsd:=<http://www.w3.org/2001/XMLSchema#>)
Prefix(rdf:=<http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
Ontology(<file:/c/test.owl>
SubClassOf( owl:Thing ObjectOneOf( :ind ) )
ClassAssertion(:A :i)
)

we should have that

reasoner.getEquivalentClasses(dataFactory.getOWLClass(IRI.create("file:/c/test.o
wl#D")));

returns a Node, but NullPointerException is thrown instead.


This was discovered when using HermiT JUnit tests to test the correctness of 
the HermiT+ELK reasoner.

The stack traces from those tests which lead to the NullPointerException have 
been attached.

The test ontology as a file is also attached, as is a Java file implementing 
the above test case.

Original issue reported on code.google.com by andy...@hotmail.co.uk on 13 Sep 2011 at 5:55

Attachments:

@GoogleCodeExporter
Copy link
Author

The problem was caused by querying the reasoner for a class not occurring in 
the signature of the ontology. A fresh entity policy has now been introduced in 
the reasoner that can be configured to either return a dummy taxonomy node or 
throw a FreshEntityException.

Original comment by frantise...@gmail.com on 19 Jun 2012 at 3:44

  • Changed state: Fixed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant