A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web.
Efstratios KontopoulosNick BassiliadesGuido GovernatoriGrigoris AntoniouPublished in: Int. J. Semantic Web Inf. Syst. (2011)
Keyphrases
- deontic logic
- nonmonotonic logics
- knowledge base
- semantic web
- modal logic
- knowledge representation language
- update semantics
- nonmonotonic reasoning
- propositional logic
- defeasible logic
- legal reasoning
- inference rules
- default logic
- knowledge representation
- query answering
- consistency checking
- semantic web technologies
- linked data
- inheritance reasoning
- formal semantics
- rdf data
- owl ontologies
- ontology languages
- metadata
- information systems
- topic maps
- temporal reasoning
- temporal logic
- owl dl
- logic programming
- probabilistic model