Simplicial Complexes for Description Logics Terminologies.
Erika ValenciaJean-Paul SansonnetPublished in: Description Logics (2000)
Keyphrases
- description logics
- snomed ct
- concept descriptions
- knowledge base
- dl lite
- reasoning tasks
- reasoning systems
- knowledge representation
- model theoretic
- computational properties
- knowledge representation systems
- reasoning problems
- semantic web
- computing least common subsumers
- web resources
- knowledge representation formalisms
- transitive roles
- knowledge representation languages
- terminological knowledge
- knowledge representation and reasoning
- query answering
- incomplete information
- data types
- query language
- expert systems
- computational complexity