Kinds of Relations: Some Methodological Principles for Using Description Logics.
Nicola GuarinoPublished in: Description Logics (1992)
Keyphrases
- description logics
- concept descriptions
- knowledge base
- reasoning tasks
- knowledge representation
- dl lite
- reasoning systems
- knowledge representation and reasoning
- ontology languages
- model theoretic
- computing least common subsumers
- knowledge representation systems
- reasoning problems
- computational properties
- owl dl
- biomedical ontologies
- artificial intelligence
- dl programs
- knowledge representation formalisms
- reasoning services
- medical terminology
- machine learning
- owl ontologies
- special case
- fuzzy description logics
- number restrictions