The Knowledge Cartography - A New Approach to Reasoning over Description Logics Ontologies.
Krzysztof GoczylaTeresa GrabowskaWojciech WaloszekMichal ZawadzkiPublished in: SOFSEM (2006)
Keyphrases
- description logics
- knowledge base
- reasoning mechanism
- knowledge representation
- reasoning services
- semantic web ontologies
- formal ontologies
- owl dl
- dl lite
- reasoning tasks
- expressive description logics
- ontology reasoning
- semantic web
- ontology languages
- reasoning systems
- knowledge representation languages
- knowledge representation and reasoning
- reasoning process
- probabilistic knowledge
- computational properties
- reasoning problems
- knowledge representation formalisms
- knowledge representation systems
- knowledge acquisition
- biomedical ontologies
- fuzzy description logics
- owl ontologies
- expert systems
- web ontology language
- web ontology language owl
- computing least common subsumers
- dl programs
- representing knowledge
- artificial intelligence
- reasoning engine
- fuzzy ontology
- first order logic
- terminological reasoning
- logic programming
- domain ontology
- knowledge sources
- model theoretic
- concept descriptions
- expressive power
- automated reasoning
- number restrictions
- taxonomic reasoning
- daml oil
- machine learning
- background knowledge
- transitive roles
- knowledge management
- terminological knowledge