Description Logics with Concrete Domains and General Concept Inclusions Revisited.
Franz BaaderJakub RydvalPublished in: IJCAR (1) (2020)
Keyphrases
- description logics
- concept descriptions
- formal logic
- knowledge base
- number restrictions
- inductive learning
- highly expressive
- computational properties
- semantic web
- knowledge representation and reasoning
- knowledge representation
- terminological reasoning
- reasoning tasks
- knowledge representation systems
- concept drift
- formal ontologies
- knowledge representation formalisms
- reasoning problems
- computing least common subsumers
- refinement operators
- dl lite
- ontology languages
- special case
- artificial intelligence
- model theoretic
- reasoning systems
- knowledge representation languages
- owl ontologies
- function free horn
- transitive closure of roles
- computational complexity
- terminological knowledge