A carregar...
Publicação
Extending NoHR for OWL 2 QL
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 387.2 KB | Adobe PDF |
Autores
Orientador(es)
Resumo(s)
The Protégé plug-in NoHR allows the user to combine an OWL 2 EL ontology with a set of nonmonotonic (logic programming) rules - suitable, e.g., to express defaults and exceptions - and query the combined knowledge base (KB). The formal approach realized in NoHR is polynomial (w.r.t. data complexity) and it has been shown that even very large health care ontologies, such as SNOMED CT, can be handled. As each of the tractable OWL profiles is motivated by different application cases, extending the tool to the other profiles is of particular interest, also because these preserve the polynomial data complexity of the combined formalism. Yet, a straightforward adaptation of the existing approach to OWL 2 QL turns out to not be viable. In this paper, we provide the nontrivial solution for the extension of NoHR to OWL 2 QL by directly translating the ontology into rules without any prior pre-processing or classification. We have implemented our approach and our evaluation shows encouraging results.
Descrição
Partially supported by Fundação para a Ciência e a Tecnologia under project PTDC/EIA-CCO/121823/2010 and strategic project PEst/UID/CEC/04516/2013. M. Knorr was also supported by grant SFRH/BPD/86970/2012.
Palavras-chave
Artificial intelligence Knowledge based systems Logic programming Data complexity Defaults and exceptions Formal approach Knowledge base Nonmonotonic Nontrivial solution Polynomial data Pre-processing General Computer Science