QueryPIE: Backward Reasoning for OWL Horst over Very Large Knowledge Bases.
Jacopo UrbaniFrank van HarmelenStefan SchlobachHenri E. BalPublished in: ISWC (1) (2011)
Keyphrases
- knowledge base
- knowledge representation
- open world
- description logics
- knowledge representation systems
- inference engine
- knowledge acquisition
- reasoning services
- reasoning process
- logic programming
- knowledge based systems
- knowledge representation languages
- ontology reasoning
- expressive description logics
- web ontology language
- expert systems
- wordnet
- production rules
- background knowledge
- rule base
- closed world
- knowledge representation language
- owl dl
- representing knowledge
- reasoning engine
- possibilistic logic
- incomplete information
- owl ontologies
- bi directional
- semantic web
- query language
- automated reasoning