Proof explanation for a nonmonotonic Semantic Web rules language
- 31 March 2008
- journal article
- Published by Elsevier BV in Data & Knowledge Engineering
- Vol. 64 (3), 662-687
- https://doi.org/10.1016/j.datak.2007.10.006
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- DR-BROKERING: A semantic brokering systemKnowledge-Based Systems, 2007
- DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic WebIEEE Transactions on Knowledge and Data Engineering, 2006
- Temporalised normative positions in defeasible logicPublished by Association for Computing Machinery (ACM) ,2005
- A proposal for an owl rules languagePublished by Association for Computing Machinery (ACM) ,2004
- Defeasible Logic: Agency, Intention and ObligationLecture Notes in Computer Science, 2004
- DR-DEVICE: A Defeasible Logic System for the Semantic WebLecture Notes in Computer Science, 2004
- Description Logic Programs: Combining Logic Programs with Description LogicSSRN Electronic Journal, 2003
- TRIPLE—A Query, Inference, and Transformation Language for the Semantic WebLecture Notes in Computer Science, 2002
- Representation results for defeasible logicACM Transactions on Computational Logic, 2001
- Combining Horn rules and description logics in CARINArtificial Intelligence, 1998