Practical Reasoning for Expressive Description Logics
I. Horrocks, U. Sattler, and S. Tobies. Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), 1705, page 161--180. Springer-Verlag, (1999)
Abstract
. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors are important in many applications, but can be computationally problematical. We present an algorithm that decides satis ability of the DL ALC extended with transitive and inverse roles, role hierarchies, and qualifying number restrictions. Early experiments indicate that this algorithm is...
%0 Conference Paper
%1 Horrocks1999a
%A Horrocks, Ian
%A Sattler, Ulrike
%A Tobies, Stephan
%B Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99)
%D 1999
%E Ganzinger, Harald
%E Mcallester, David
%E Voronkov, Andrei
%I Springer-Verlag
%K reasoning
%N 1705
%P 161--180
%T Practical Reasoning for Expressive Description Logics
%U http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.5145
%X . Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors are important in many applications, but can be computationally problematical. We present an algorithm that decides satis ability of the DL ALC extended with transitive and inverse roles, role hierarchies, and qualifying number restrictions. Early experiments indicate that this algorithm is...
@inproceedings{Horrocks1999a,
abstract = {{. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors are important in many applications, but can be computationally problematical. We present an algorithm that decides satis ability of the DL ALC extended with transitive and inverse roles, role hierarchies, and qualifying number restrictions. Early experiments indicate that this algorithm is...}},
added-at = {2012-05-16T12:33:25.000+0200},
author = {Horrocks, Ian and Sattler, Ulrike and Tobies, Stephan},
biburl = {https://www.bibsonomy.org/bibtex/2cf3a66092f072c8249375b04f7fb376b/jabreftest},
booktitle = {Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning ({LPAR'99)}},
citeulike-article-id = {596193},
citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.5145},
editor = {Ganzinger, Harald and Mcallester, David and Voronkov, Andrei},
groups = {public},
interhash = {9143bfd6ffef488eace48d3dbd26262a},
intrahash = {cf3a66092f072c8249375b04f7fb376b},
keywords = {reasoning},
number = 1705,
pages = {161--180},
posted-at = {2006-04-23 15:58:23},
priority = {0},
publisher = {Springer-Verlag},
timestamp = {2012-05-16T12:33:40.000+0200},
title = {{Practical Reasoning for Expressive Description Logics}},
url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.5145},
username = {jabreftest},
year = 1999
}