Article

Deontic Logic-based Framework for Ontology Aligment in Agent Communities.

Journal of Universal Computer Science (Impact Factor: 0.47). 01/2010; 16(1):178-197.
Source: DBLP

ABSTRACT

In this paper we consider a multiagent system with multiple ontologies. The agents maintain the ontologies individually which leads to frequent changes and possible knowledge inconsistencies. We propose a general framework for decision making about ontology alignment and negotiation which takes into account the properties of the actual communication network and utilizes the Deontic Logic formalism for reasoning.

Download full-text

Full-text

Available from: Grzegorz Kolaczek, Dec 23, 2013
  • [Show abstract] [Hide abstract]
    ABSTRACT: Automated compliance checking (ACC) in the construction domain continues to be a challenge. Current ACC systems do not provide the level of knowledge representation and reasoning that is needed to efficiently interpret applicable norms (e.g.,laws, regulations, contractual requirements, advisory practices) and check conformance of designs and operations to those interpretations. In this paper, the authors explore a new approach to ACC and propose to apply theoretical and computational developments in the fields of deontology, deontic logic, and natural language processing to the problem of compliance checking in construction. Deontology is a theory of rights and obligations, and deontic logic is a branch of modal logic that deals with obligations, prohibitions, and permissions. This paper focuses on presenting a deontology for ACC in construction. The deontic model is composed of a hierarchy of normative concepts, interconcept relations, and deontic axioms (rules represented using deontic logic). The deontology was evaluated through formal competency questions, automated consistency checking, automated redundancy checking, expert evaluation, and application-oriented evaluation. The deontic model was manually applied in checking the compliance of storm-water pollution prevention plans with applicable norms. (C) 2013 American Society of Civil Engineers.
    No preview · Article · Nov 2013 · Journal of Computing in Civil Engineering