Implementing Modal Extensions of Defeasible Logic for the Semantic Web.
Nikos DimaresisGrigoris AntoniouPublished in: AAAI (2007)
Keyphrases
- defeasible logic
- default logic
- nonmonotonic logics
- modal logic
- defeasible reasoning
- extended logic programs
- nonmonotonic reasoning
- semantic web
- default theories
- knowledge representation
- rule base
- knowledge representation and reasoning
- metadata
- business rules
- fixed point
- knowledge base
- owl ontologies
- logic programming
- inference rules
- logic programs
- data analysis
- decision trees