Changes between Version 1 and Version 2 of PimoInference


Ignore:
Timestamp:
03/23/06 12:37:01 (18 years ago)
Author:
sauermann
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • PimoInference

    v1 v2  
    22 
    33We do '''inference during insert''' into the pimo. The rules used for inference are defined in a Jena rules file, you can [source:branches/gnowsis0.9/gnowsis-server/src/java/org/gnowsis/pimo/impl/rules/pimo-rdfs.rules read the rules]. Based on these rules, additional triples are created during insert. Also when you delete triples, the same rules are used to entail the other triples that have to be deleted. To limit the complexity, we '''limit inference to the TBox'''. So we infer the subclass and sub-property relations and also inverse triples. We do not infer instance relations and individual triples. When querying the pimo-service, you can rely on all subclass and subproperty and inverse relations. The missing Abox-related relations can be easily added, see below. 
     4 
     5see also: 
     6 * PimoService 
     7 * [http://en.wikipedia.org/wiki/Tbox Tbox] 
     8 * [http://en.wikipedia.org/wiki/Abox Abox] 
    49 
    510When you want to add many triples yourself using the inference, use the following methods. If you insert to PimoStorage directly, no inference will be done (for performance reasons). 
    … …  
    1823 
    1924=== Querying with regards to Abox inference === 
    20 To get all instances of a class ClassX 
     25To get all classes of all instances, use this SeRQL query: 
     26{{{ 
     27select x, y from {x} rdf:type {t} rdfs:subClassOf {y} 
     28USING NAMESPACE rdf = <http://www.w3.org/1999/02/22-rdf-syntax-ns#> 
     29}}} 
    2130 
     31To get all instances of Pimo:Person, use this: 
     32{{{ 
     33select x from {x} rdf:type {t} rdfs:subClassOf {pimo:Person} 
     34USING NAMESPACE rdf = <http://www.w3.org/1999/02/22-rdf-syntax-ns#>,  
     35pimo = <http://ontologies.opendfki.de/repos/ontologies/pim/pimo#> 
     36}}} 
    2237 
     38To get all direct subclassed of Pimo:Thing, use this: 
     39{{{ 
     40select x from {x} pimoapi:directSubClassOf {pimo:Thing} 
     41USING NAMESPACE rdf = <http://www.w3.org/1999/02/22-rdf-syntax-ns#>,  
     42pimo = <http://ontologies.opendfki.de/repos/ontologies/pim/pimo#>,  
     43pimoapi = <http://ontologies.opendfki.de/repos/ontologies/pim/pimo-api#> 
     44}}} 
    2345 
    24 see also: 
    25  * [http://en.wikipedia.org/wiki/Tbox Tbox] 
    26  * [http://en.wikipedia.org/wiki/Abox Abox] 
    2746 
    2847