Changes between Version 2 and Version 3 of PimoService

Timestamp:

02/15/06 19:33:59 (19 years ago)

Author:

sauermann

Comment:

--

PimoService

@@ -10 +10 @@
  * It is possible to create different things with the same name.
  * It is NOT possible to create different classes with the same name.
+
+= Tips on inferencing by Michael Sintek =
+this here taken from an e-mail from michael sintek, the gott of inference:
+
+I had a look at the Sesame RDFS implementation, which is quite nice:
+they use a set of rules (implemented in Java!) for a forward rule
+engine (probably using some Rete algorithm).
+
+The rules (for Sesame2) are here:
+
+http://www.openrdf.org/doc/sesame2/api/org/openrdf/sesame/sailimpl/inferencer/RDFSRules.html
+
+If you don't want the complete inferences,
+simply remove some of them, e.g. the rules
+for adding types:
+
+          rule rdfs9_1: xxx rdfs:subClassOf yyy && (nt) aaa rdf:type xxx
+--> (t1) aaa rdf:type yyy (t2)
+
+          rule rdfs9_2: aaa rdf:type xxx && (nt) xxx rdfs:subClassOf yyy
+--> (t1) aaa rdf:type yyy (t2)
+
+I could imagine that creating a subclass of RDFSRules and removing these
+rules will do the magic already, but I have never looked at the code.
+Anyway, should be trivial ...
+
+At least you could start with this implementation -- doing the
+entailment stuff from scratch is really nasty (you need
+something like a semi-naive bottom-up evaluation, otherwise
+you will derive the same new triples over and over again).