A Cut-Free ExpTime Tableau Decision Procedure for the Description Logic SHI.
Linh Anh NguyenPublished in: ICCCI (1) (2011)
Keyphrases
- description logics
- owl ontologies
- transitive closure of roles
- knowledge base
- tableau calculus
- knowledge representation
- exptime complete
- ontology languages
- expressive description logics
- reasoning tasks
- dl lite
- computational properties
- concept descriptions
- model theoretic
- decision makers
- semantic web
- reasoning mechanism
- integrity constraints
- reasoning problems
- reasoning services
- xml documents
- transitive roles
- relational databases