Permalink
Browse files

add forward chaining inference

  • Loading branch information...
1 parent 66973e9 commit 212cf5a3de4200c1466ba9909d8868f258eeba18 @lidingpku lidingpku committed May 24, 2011
Showing with 656 additions and 231 deletions.
  1. +39 −0 src-xqy/hs-ld.20110418/owl-inference.xqy
  2. +617 −231 src-xqy/hs-ld.20110418/semantic.xqy
@@ -0,0 +1,39 @@
+import module namespace sem="http://marklogic.com/semantic" at "semantic.xqy";
+sem:inf-owl2rl-eq-sym();
+import module namespace sem="http://marklogic.com/semantic" at "semantic.xqy";
+sem:inf-owl2rl-eq-trans();
+import module namespace sem="http://marklogic.com/semantic" at "semantic.xqy";
+sem:inf-owl2rl-eq-rep-s();
+import module namespace sem="http://marklogic.com/semantic" at "semantic.xqy";
+sem:inf-owl2rl-eq-rep-p();
+import module namespace sem="http://marklogic.com/semantic" at "semantic.xqy";
+sem:inf-owl2rl-eq-rep-o();
+import module namespace sem="http://marklogic.com/semantic" at "semantic.xqy";
+sem:inf-owl2rl-prp-symp();
+import module namespace sem="http://marklogic.com/semantic" at "semantic.xqy";
+sem:inf-owl2rl-prp-trp();
+import module namespace sem="http://marklogic.com/semantic" at "semantic.xqy";
+sem:inf-owl2rl-prp-inv1();
+import module namespace sem="http://marklogic.com/semantic" at "semantic.xqy";
+sem:inf-owl2rl-prp-inv2();
+import module namespace sem="http://marklogic.com/semantic" at "semantic.xqy";
+sem:inf-owl2rl-scm-sco();
+import module namespace sem="http://marklogic.com/semantic" at "semantic.xqy";
+sem:inf-owl2rl-scm-spo();
+
+import module namespace sem="http://marklogic.com/semantic" at "semantic.xqy";
+sem:inf-owl2rl-prp-spo1();
+import module namespace sem="http://marklogic.com/semantic" at "semantic.xqy";
+sem:inf-owl2rl-cls-hv1();
+import module namespace sem="http://marklogic.com/semantic" at "semantic.xqy";
+sem:inf-owl2rl-cls-hv2();
+import module namespace sem="http://marklogic.com/semantic" at "semantic.xqy";
+sem:inf-owl2rl-cax-sco();
+
+import module namespace sem="http://marklogic.com/semantic" at "semantic.xqy";
+sem:inf-owl2rl-scm-cls();
+import module namespace sem="http://marklogic.com/semantic" at "semantic.xqy";
+sem:inf-owl2rl-scm-op();
+import module namespace sem="http://marklogic.com/semantic" at "semantic.xqy";
+sem:inf-owl2rl-scm-dp();
+()
Oops, something went wrong.

0 comments on commit 212cf5a

Please sign in to comment.