ASPIDE is the most comprehensive IDE for Answer Set Programming. We describe how to extend ASPIDE with user-defined plugins by means of three examples for: (i) handling the ASP RuleML input format, (ii) performing disjunctive program shifting, and (iii) generating custom XML output.

In this survey paper we summarize the requirements for rule interchange languages for applications in the legal domain and use these requirements to evaluate RuleML, SBVR, SWRL and RIF. We also present the Legal Knowledge Interchange Format (LKIF), a new rule interchange format developed specifically for applications in the legal domain.

We introduce the DR-CONTRACT architecture to represent and reason on e-Contracts. The architecture extends the DR-device architecture by a deontic defeasible logic of violation. We motivate the choice for the logic and we show how to extend RuleML to capture the notions relevant to describe e-contracts for a monitoring perspective in Defeasible Logic.

Functions are introduced to RuleML via orthogonal dimensions “constructor vs. userdefined”, “singlevs. set-valued”, “firstvs. higher-order”. This enables functionallogic programming for the Semantic Web. ∗Thanks to David Hirtle, Duong Dai Doan, and Thuy Thi Thu Le for helpful discussions and for improving the DTD. This research was partially supported by NSERC.

Trust is a vital feature for the Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs, and this issue is the topic of the proof layer in the design of the Semantic Web. This paper presents the design of a system for proof explanation on the Semantic Web, based on defe...

1 Athan Services, USA [email protected] 2 Faculty of Computer Science University of New Brunswick, Canada [email protected] 3 NICTA, Australia [email protected] 4 CIRSFID University of Bologna, Italy [email protected] 5 Corporate Semantic Web Freie Universitaet Berlin, Germany [email protected] 6 Department of Computing Science University of Aberdeen, UK adam...

In this paper we present a general methodology to extend Defeasible Logic with modal operators. We motivate the reasons for this type of extension and we argue that the extension will allow for a robust knowledge framework in different application areas. The paper presents an extension of RuleML to capture Modal Defeasible Logic.

We introduce the DR-CONTRACT architecture to represent and reason on e-Contracts. The architecture extends the DR-device architecture by a deontic defeasible logic of violation. We motivate the choice for the logic and we show how to extend RuleML to capture the notions relevant to describe e-contracts for a monitoring perspective in Defeasible Logic.

The paper inclines to briefly articulate major problems and critical questions exist in water, energy, food and climate (WEFC) nexus from artificial intelligent and law perspective. Then a legal knowledge framework, based on computational ontology, Akoma Ntoso and LegalRuleML standard, is proposed to identify WEFC nexus. It also presents a brief use case on the existing legislations of quality ...

This paper provides a classification of rulebase integration for eCollaboration. A variety of conflicts between rulebases are identified and guidelines for conflict resolutions are suggested. Based on the classification, a framework for rulebase integration is proposed containing two different integration approaches, namely interoperation and interchange. The problem of semantics-preserving rul...