DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web.
Grigoris AntoniouAntonis BikakisPublished in: IEEE Trans. Knowl. Data Eng. (2007)
Keyphrases
- defeasible reasoning
- semantic web
- owl ontologies
- knowledge representation
- rule language
- knowledge base
- semantic web technologies
- description logic programs
- ontology languages
- nonmonotonic reasoning
- production rules
- formal semantics
- logic programming
- defeasible logic
- ontology matching
- legal reasoning
- owl dl
- ontology mapping
- business rules
- argumentation systems
- conditional logic
- ontology engineering
- dl programs
- logic programs
- description logics
- expert systems
- argumentation frameworks
- information systems
- association rules
- ontology mappings
- general purpose
- knowledge based systems
- case based reasoning
- knowledge representation and reasoning
- artificial intelligence
- ontological concepts
- belief revision
- fixed point