On the Satisfiability of Quasi-Classical Description Logics.
Xiaowang ZhangZhiyong FengWenrui WuMokarrom HossainWendy MacCaullPublished in: Comput. Informatics (2017)
Keyphrases
- description logics
- terminological reasoning
- description logic alc
- reasoning problems
- computational properties
- knowledge base
- knowledge representation
- dl lite
- reasoning tasks
- concept descriptions
- satisfiability problem
- knowledge representation and reasoning
- np complete
- computing least common subsumers
- ontology languages
- reasoning systems
- reasoning services
- knowledge representation formalisms
- propositional logic
- owl ontologies
- fuzzy description logics
- dl programs
- expressive power
- data model