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 satisfiability of the DL ALC extended with transitive and inverse roles and functional r... |
Year | DOI | Venue |
---|---|---|
2000 | 10.1093/jigpal/8.3.239 | Logic Journal of the IGPL |
Keywords | DocType | Volume |
description logic,modal logic,automated reasoning,tableaux algorithm | Journal | 8 |
Issue | ISSN | Citations |
3 | 1367-0751 | 370 |
PageRank | References | Authors |
46.31 | 30 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ian Horrocks | 1 | 11731 | 1086.65 |
Ulrike Sattler | 2 | 6177 | 478.47 |
Stephan Tobies | 3 | 1599 | 158.86 |