Description Logics with Concrete Domains and General Concept Inclusions Revisited (Extended Abstract).
Franz BaaderJakub RydvalPublished in: Description Logics (2020)
Keyphrases
- extended abstract
- description logics
- concept descriptions
- formal logic
- inductive learning
- number restrictions
- knowledge base
- special case
- knowledge representation
- reasoning tasks
- computational properties
- highly expressive
- refinement operators
- reasoning problems
- computing least common subsumers
- model theoretic
- knowledge representation and reasoning
- reasoning systems
- ontology languages
- representation language
- concept drift
- knowledge representation systems
- formal ontologies
- transitive closure of roles
- dl lite
- reasoning services
- fuzzy description logics
- knowledge representation languages
- terminological reasoning
- tight complexity bounds
- semantic web