Towards RIF-OWL Combination: An Effective Reasoning Technique in Integrating OWL and Negation-Free Rules.
Mohammad Sadnan Al ManirPublished in: RuleML America (2011)
Keyphrases
- open world
- knowledge representation
- owl ontologies
- knowledge base
- rule language
- production rules
- semantics for logic programs
- semantic web
- web ontology language
- owl dl
- ontology languages
- derivation rules
- incomplete information
- closed world
- semantic web technologies
- expressive description logics
- inference engine
- rdf knowledge bases
- description logics
- rule based reasoning
- logic programming
- logical rules
- ontology reasoning
- horn clauses
- reasoning services
- reasoning tasks
- constraint language
- knowledge representation language
- data exchange
- knowledge based systems
- semantic description
- artificial intelligence
- expert systems