S-modules - Approach to Capture Semantics of Modularized DL Knowledge Bases.
Krzysztof GoczylaAleksander WaloszekWojciech WaloszekPublished in: KEOD (2009)
Keyphrases
- description logics
- knowledge base
- rule engine
- rule base
- model theoretic
- reasoning tasks
- logic programming
- reasoning services
- dl lite
- computational properties
- owl dl
- highly expressive
- knowledge representation languages
- possibilistic logic
- tableau calculus
- production rules
- open world
- owl ontologies
- description logic programs
- expert systems
- knowledge representation
- knowledge structures
- knowledge acquisition
- expressive power
- semantic web
- knowledge based systems
- conceptual model
- dl programs
- semantic network
- ontology languages
- sound and complete with respect
- digital libraries
- formal semantics
- vague concepts
- logic programs
- stable model semantics
- semantic information
- data complexity