\boldsymbol {\cal BC\!D\!L}: Basic Constructive Description Logic.
Mauro FerrariCamillo FiorentiniGuido FiorinoPublished in: J. Autom. Reason. (2010)
Keyphrases
- description logics
- knowledge base
- reasoning systems
- knowledge representation and reasoning
- computational properties
- knowledge representation
- reasoning tasks
- concept descriptions
- reasoning problems
- model theoretic
- owl dl
- computing least common subsumers
- dl lite
- ontology languages
- logical implication
- reasoning services
- owl ontologies
- conjunctive queries
- semantic web
- number restrictions
- snomed ct
- logic programming