Issue 59 in fuxi: Implement consequence-based classification querying of OWL 2 EL
3 views
Skip to first unread message
fu...@googlecode.com
Nov 9, 2012, 5:29:14 PM11/9/12
to fuxi-di...@googlegroups.com
Status: Accepted
Owner: chime...@gmail.com
Labels: Type-Enhancement Priority-High
New issue 59 by chime...@gmail.com: Implement consequence-based
classification querying of OWL 2 EL
http://code.google.com/p/fuxi/issues/detail?id=59
Kazakov et al.'s "Concurrent Classification 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_TR2011.pdf
Owner: chime...@gmail.com
Labels: Type-Enhancement Priority-High
New issue 59 by chime...@gmail.com: Implement consequence-based
classification querying of OWL 2 EL
http://code.google.com/p/fuxi/issues/detail?id=59
Kazakov et al.'s "Concurrent Classification 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_TR2011.pdf
Reply all
Reply to author
Forward
0 new messages