LATPub484: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
| Zeile 20: | Zeile 20: | ||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=We consider the problem of reasoning with ontologies where every axiom is associated to a context, | |Abstract=We consider the problem of reasoning with ontologies where every axiom is associated to a context, and contexts are related through a total order. These contexts could represent, for example, a degree of trust associated to the axiom, or a level of granularity for the knowledge provided. We describe an extension of tableaux-based decision procedures into methods that compute the best-fitting context for the consequences of an ontology, and apply it to the tableaux algorithm for ALC. We also describe an execution strategy that preserves most of the standard optimizations used in modern DL reasoners. | ||
and contexts are related through a total order. | |||
These contexts could represent, for example, a degree of trust associated to the axiom, or a level | |||
of granularity for the knowledge provided. | |||
We describe an extension of tableaux-based decision procedures into methods that compute the best-fitting | |||
context for the consequences of an ontology, and apply | |||
it to the tableaux algorithm for ALC. We also describe an execution strategy that preserves most | |||
of the standard optimizations used in modern DL reasoners. | |||
|ISBN= | |ISBN= | ||
|ISSN= | |ISSN= | ||
| Zeile 48: | Zeile 39: | ||
year = {2012}, | year = {2012}, | ||
} | } | ||
}} | }} | ||
Version vom 23. März 2015, 13:24 Uhr
Adding Context to Tableaux for DLs
Weili FuWeili Fu, Rafael PeñalozaRafael Peñaloza
Weili Fu, Rafael Peñaloza
Adding Context to Tableaux for DLs
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 2012 International Workshop on Description Logics (DL'12), volume 846 of CEUR-WS, 2012
Adding Context to Tableaux for DLs
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 2012 International Workshop on Description Logics (DL'12), volume 846 of CEUR-WS, 2012
- KurzfassungAbstract
We consider the problem of reasoning with ontologies where every axiom is associated to a context, and contexts are related through a total order. These contexts could represent, for example, a degree of trust associated to the axiom, or a level of granularity for the knowledge provided. We describe an extension of tableaux-based decision procedures into methods that compute the best-fitting context for the consequences of an ontology, and apply it to the tableaux algorithm for ALC. We also describe an execution strategy that preserves most of the standard optimizations used in modern DL reasoners. - Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ FuPe-DL12,
address = {Rome, Italy},
author = {Weili {Fu} and Rafael {Pe{\~n}aloza}},
booktitle = {Proceedings of the 2012 International Workshop on Description Logics ({DL'12})},
editor = {Yevgeny {Kazakov} and Domenico {Lembo} and Frank {Wolter}},
series = {CEUR-WS},
title = {Adding Context to Tableaux for {DLs}},
volume = {846},
year = {2012},
}
