Implement consequence-based classification querying of OWL 2 EL

Suanmei-Tang / fuxi

Automatically exported from code.google.com/p/fuxi

1 stars 0 forks source link

Implement consequence-based classification querying of OWL 2 EL #59

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago

Kazakov et al.'s "Concurrent Classiﬁcation of EL Ontologies" report [1] 
provides a set of inference rules for a fragment of OWL 2 EL that can be used 
with the BFP method to facilitate answering rdfs:subClassOf queries about 
classes via a _OWL 2 Direct Semantics Entailment Regime_.

[1] 
http://korrekt.org/papers/Kazakov-Kroetzsch-Simancik_concurrent-el-reasoning_TR2
011.pdf

Original issue reported on code.google.com by chime...@gmail.com on 9 Nov 2012 at 10:28

Blocked on: #54

GoogleCodeExporter commented 9 years ago

Original comment by chime...@gmail.com on 9 Nov 2012 at 11:12

Changed state: Started