Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

owl:Nothing support

  • Loading branch information...
commit fcc693a4a44050a18328d6b6318d416a6f69bea0 1 parent 2275c79
@cmungall cmungall authored
Showing with 10 additions and 3 deletions.
  1. +10 −3 owl2_java_owlapi.pl
View
13 owl2_java_owlapi.pl
@@ -37,6 +37,9 @@
prefix('org.semanticweb.owlapi.model').
+nothing('http://www.w3.org/2002/07/owl#Nothing').
+
+
version_info(Info) :-
jpl_call('org.semanticweb.owlapi.util.VersionInfo',getVersionInfo,[],VI),
jpl_call(VI,getVersion,[],Info).
@@ -922,13 +925,17 @@
% throw(error(reasoner(R,Axiom))).
owl2_reasoner:reasoner_ask_hook(owlapi_reasoner(R,Fac,_Opts),subClassOf(A,B)) :-
- reasoner_subClassOf(R,Fac,A,B).
+ reasoner_subClassOf(R,Fac,A,B),
+ \+ nothing(A).
+
owl2_reasoner:reasoner_ask_hook(owlapi_reasoner(R,Fac,_Opts),subClassOf(A,B),IsDirect) :-
- reasoner_subClassOf(R,Fac,A,B,IsDirect).
+ reasoner_subClassOf(R,Fac,A,B,IsDirect),
+ \+ nothing(A).
owl2_reasoner:reasoner_ask_hook(owlapi_reasoner(R,Fac,_Opts),directSubClassOf(A,B)) :-
- reasoner_subClassOf(R,Fac,A,B,true).
+ reasoner_subClassOf(R,Fac,A,B,true),
+ \+ nothing(A).
owl2_reasoner:reasoner_ask_hook(owlapi_reasoner(R,Fac,_Opts),classAssertion(C,I)) :-
reasoner_individualOf(R,Fac,I,C).
Please sign in to comment.
Something went wrong with that request. Please try again.