General Concept Inclusions inFluzzy Description Logics.
Giorgos StoilosUmberto StracciaGiorgos B. StamouJeff Z. PanPublished in: ECAI (2006)
Keyphrases
- description logics
- formal logic
- concept descriptions
- number restrictions
- knowledge representation
- highly expressive
- knowledge base
- reasoning tasks
- dl lite
- special case
- knowledge representation and reasoning
- refinement operators
- transitive closure of roles
- terminological reasoning
- reasoning problems
- computational properties
- knowledge representation systems
- reasoning systems
- ontology languages
- knowledge representation formalisms
- inductive learning
- tight complexity bounds
- computing least common subsumers
- transitive roles
- formal ontologies
- model theoretic
- natural language