Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
Abstract. The alignment of different ontologies requires the specification, representation and execution of translation rules. The rules need to integrate translations at the lexic...
Fernando Silva Parreiras, Steffen Staab, Simon Sch...
Ontology alignment foundations are hard to find in the literature. The abstract nature of the topic and the diverse means of practice make it difficult to capture it in a universal...
W. Marco Schorlemmer, Yannis Kalfoglou, Manuel Ate...
The paper has two goals: firstly, we explain how ontology mapping formalisms can be used to denote the many interpretations of a given legal concept; secondly, we provide a short c...
Piotr Stolarski, Tadeusz Tomaszewski, John Zelezni...
Semantics represents a major problem area for active databases inasmuch as (i) there is l framework for defining the abstract semantics of active rules, and (ii) the various syst...