Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 51338ec5 authored by federico's avatar federico
Browse files

renamed uris

parent f1289502
No related branches found
No related tags found
1 merge request!68Resolve "add explanation module"
Pipeline #1142275 failed
Stage: build
Stage: publish
Hide whitespace changes
Inline Side-by-side
integraal/integraal-explanation/src/test/resources/mowl-bench-main/Ontology1260916270538/Ontology1260916270538.dlgp
+ 20
− 18
View file @ 51338ec5
@facts
<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rthree>(<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#fInst>, <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#dInst>), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rone>(<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#fInst>, <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#aInst>), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rfive>(<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#aInst>, <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#bInst>), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rtwo>(<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#fInst>, <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#bInst>), <owl:Thing>(<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#cInst>), <owl:Thing>(<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#aInst>), <owl:Thing>(<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#dInst>), <owl:Thing>(<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#fInst>), <owl:Thing>(<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#bInst>).
r3(fInst, dInst), r1(fInst, aInst), r5(aInst, bInst), r2(fInst, bInst),
o(cInst), o(aInst), o(dInst), o(fInst), o(bInst).
@rules
<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#B>(constant_0_0), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rfive>(X, constant_0_0) :- <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#A>(X).
<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#E>(X) :- <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rtwo>(X, Graal_EE1).
<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#B>(Graal_EE2) :- <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rtwo>(X, Graal_EE2).
<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#C>(X) :- <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rone>(X, Graal_EE3).
<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#D>(Graal_EE4) :- <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rthree>(X, Graal_EE4).
<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#E>(X) :- <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#F>(X).
<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#C>(X) :- <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#D>(X).
<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#B>(constant_3_0), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rone>(X, constant_1_1), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rthree>(X, constant_2_2), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#A>(constant_1_1), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rtwo>(X, constant_3_0), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#D>(constant_2_2) :- <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#F>(X).
<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#F>(X) :- <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#D>(Graal_EE6), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#B>(Graal_EE7), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#A>(Graal_EE5), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rone>(X, Graal_EE5), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rtwo>(X, Graal_EE7), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rthree>(X, Graal_EE6).
<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#C>(X) :- <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#E>(X).
<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#B>(constant_3_0), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rone>(X, constant_1_1), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#G>(constant_4_3), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#A>(constant_1_1), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rtwo>(X, constant_3_0), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rfour>(X, constant_4_3) :- <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#D>(X).
<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#D>(X) :- <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rtwo>(X, Graal_EE10), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#B>(Graal_EE10), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#G>(Graal_EE9), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rfour>(X, Graal_EE9), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rone>(X, Graal_EE8), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#A>(Graal_EE8).
<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#B>(constant_3_0), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rone>(X, constant_1_1), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#A>(constant_1_1), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rtwo>(X, constant_3_0) :- <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#E>(X).
<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#E>(X) :- <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#B>(Graal_EE12), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rtwo>(X, Graal_EE12), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rone>(X, Graal_EE11), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#A>(Graal_EE11).
<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#F>(X) :- <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rthree>(X, Graal_EE13).
<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rone>(X, constant_1_1), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#A>(constant_1_1) :- <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#C>(X).
<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#C>(X) :- <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#A>(Graal_EE14), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#Rone>(X, Graal_EE14).
\ No newline at end of file
b(constant_0_0), r5(X, constant_0_0) :- a(X).
e(X) :- r2(X, X_1).
b(X_2) :- r2(X, X_2).
c(X) :- r1(X, X_3).
d(X_4) :- r3(X, X_4).
e(X) :- f(X).
c(X) :- d(X).
b(constant_3_0), r1(X, constant_1_1), r3(X, constant_2_2), a(constant_1_1), r2(X, constant_3_0), d(constant_2_2) :- f(X).
f(X) :- d(X_6), b(X_7), a(X_5), r1(X, X_5), r2(X, X_7), r3(X, X_6).
c(X) :- e(X).
b(constant_3_0), r1(X, constant_1_1), g(constant_4_3), a(constant_1_1), r2(X, constant_3_0), r4(X, constant_4_3) :- d(X).
d(X) :- r2(X, X_10), b(X_10), g(X_9), r4(X, X_9), r1(X, X_8), a(X_8).
b(constant_3_0), r1(X, constant_1_1), a(constant_1_1), r2(X, constant_3_0) :- e(X).
e(X) :- b(X_12), r2(X, X_12), r1(X, X_11), a(X_11).
f(X) :- r3(X, X_13).
r1(X, constant_1_1), a(constant_1_1) :- c(X).
c(X) :- a(X_14), r1(X, X_14).
integraal/integraal-explanation/src/test/resources/mowl-bench-main/Ontology1260916270538/Ontology1260916270538_query_5.dlgp
+ 1
− 1
View file @ 51338ec5
@facts
<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#B>(<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#bInst>), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#E>(<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#fInst>), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#E>(<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#dInst>), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#C>(<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#fInst>), <http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#C>(<http://www.semanticweb.org/ontologies/2009/11/Ontology1260916270538.owl#dInst>).
\ No newline at end of file
e(fInst), b(bInst), e(dInst), c(fInst), c(dInst).
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment