Results 1  10
of
45
Wellfounded semantics for description logic programs in the Semantic Web
, 2009
"... The realization of the Semantic Web vision, in which computational logic has a prominent role, has stimulated a lot of research on combining rules and ontologies, which are formulated in different formalisms, into a framework that is more useful for describing semantic content. In particular, combin ..."
Abstract

Cited by 57 (17 self)
 Add to MetaCart
The realization of the Semantic Web vision, in which computational logic has a prominent role, has stimulated a lot of research on combining rules and ontologies, which are formulated in different formalisms, into a framework that is more useful for describing semantic content. In particular, combining logic programming with the Web Ontology Language (OWL), which is a standard based on description logics, emerged as an important issue for linking the Rules and Ontology Layers of the Semantic Web. Nonmonotonic description logic programs (or dlprograms) were introduced for such a combination, in which a pair (L,P) of a description logic knowledge base L and a set of rules P with negation as failure is given a modelbased semantics that generalizes the answer set semantics of logic programs. In this paper, we reconsider dlprograms and present a wellfounded semantics for them as an analog for the other main semantics of logic programs. It generalizes the canonical definition of the wellfounded semantics based on unfounded sets, and, as we show, lifts many of the wellknown properties from ordinary logic programs to dlprograms. Among these properties: our semantics amounts to a partial model approximating the answer set semantics, which yields for positive and stratified dlprograms a total model coinciding with the answer set semantics; it has polynomial data complexity provided the access to the description logic
Embedding NonGround Logic Programs into Autoepistemic Logic for Knowledge Base Combination
, 2008
"... ..."
Logic programs with abstract constraint atoms
 In Proceedings of the 19th National Conference on Artificial Intelligence (AAAI04
, 2004
"... We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is an abstract constraint (formally, a collection of sets of atoms). Atoms C(X) are satisfied by an interpretation (set of atoms) M, if M ∩ ..."
Abstract

Cited by 23 (5 self)
 Add to MetaCart
We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is an abstract constraint (formally, a collection of sets of atoms). Atoms C(X) are satisfied by an interpretation (set of atoms) M, if M ∩ X ∈ C. We focus here on monotone constraints, that is, those collections C that are closed under the superset. They include, in particular, weight (or pseudoboolean) constraints studied both by the logic programming and SAT communities. We show that key concepts of the theory of normal logic programs such as the onestep provability operator, the semantics of supported and stable models, as well as several of their properties including complexity results, can be lifted to such case.
Answer sets for logic programs with arbitrary abstract constraint atoms
 J. ARTIFICIAL INTELLIGENCE RESEARCH
, 2007
"... In this paper, we present two alternative approaches to defining answer sets for logic programs with arbitrary types of abstract constraint atoms (catoms). These approaches generalize the fixpointbased and the level mapping based answer set semantics of normal logic programs to the case of logic p ..."
Abstract

Cited by 21 (2 self)
 Add to MetaCart
In this paper, we present two alternative approaches to defining answer sets for logic programs with arbitrary types of abstract constraint atoms (catoms). These approaches generalize the fixpointbased and the level mapping based answer set semantics of normal logic programs to the case of logic programs with arbitrary types of catoms. The results are four different answer set definitions which are equivalent when applied to normal logic programs. The standard fixpointbased semantics of logic programs is generalized in two directions, called answer set by reduct and answer set by complement. These definitions, which differ from each other in the treatment of negationasfailure (naf) atoms, make use of an immediate consequence operator to perform answer set checking, whose definition relies on the notion of conditional satisfaction of catoms w.r.t. a pair of interpretations. The other two definitions, called strongly and weakly wellsupported models, are generalizations of the notion of wellsupported models of normal logic programs to the case of programs with catoms. As for the case of fixpointbased semantics, the difference between these two definitions is rooted in the treatment of naf atoms. We prove that answer sets by reduct (resp. by complement) are equivalent to weakly (resp. strongly) wellsupported models of a program, thus generalizing the theorem on the correspondence between stable models and wellsupported models of a normal logic program to the class of programs with catoms. We show that the newly defined semantics coincide with previously introduced semantics for logic programs with monotone catoms, and they extend the original answer set semantics of normal logic programs. We also study some properties of answer sets of programs with catoms, and relate our definitions to several semantics for logic programs with aggregates presented in the literature.
Logic programs with abstract constraint atoms: the role of computations
 Proceedings of the 23rd International Conference on Logic Programming (ICLP 2007), LNCS, Springer, 2007 (this
, 2005
"... Abstract. We provide new perspectives on the semantics of logic programs with constraints. To this end we introduce several notions of computation and propose to use the results of computations as answer sets of programs with constraints. We discuss the rationale behind different classes of computat ..."
Abstract

Cited by 17 (2 self)
 Add to MetaCart
Abstract. We provide new perspectives on the semantics of logic programs with constraints. To this end we introduce several notions of computation and propose to use the results of computations as answer sets of programs with constraints. We discuss the rationale behind different classes of computations and study the relationships among them and among the corresponding concepts of answer sets. The proposed semantics generalize the answer set semantics for programs with monotone, convex and/or arbitrary constraints described in the literature. 1
Managing uncertainty and vagueness in description logics, logic programs and description logic programs
, 2008
"... Managing uncertainty and/or vagueness is starting to play an important role in Semantic Web representation languages. Our aim is to overview basic concepts on representing uncertain and vague knowledge in current Semantic Web ontology and rule languages (and their combination). ..."
Abstract

Cited by 16 (5 self)
 Add to MetaCart
Managing uncertainty and/or vagueness is starting to play an important role in Semantic Web representation languages. Our aim is to overview basic concepts on representing uncertain and vague knowledge in current Semantic Web ontology and rule languages (and their combination).
Semantics of disjunctive programs with monotone aggregates  an operatorbased approach
 In: NMR
, 2004
"... All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the onestep provability operator or of operators that can be derived from it. No such systematic operatorbased approach to semantics of disjunctive logic programs has been develo ..."
Abstract

Cited by 14 (1 self)
 Add to MetaCart
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the onestep provability operator or of operators that can be derived from it. No such systematic operatorbased approach to semantics of disjunctive logic programs has been developed so far. This paper is the first step in this direction. We formalize the concept of onestepprovability for disjunctive logic programs by means of nondeterministic operators on the lattice of interpretations. We establish characterizations of models, minimal models, supported models and stable models of disjunctive logic programs in terms of prefixpoints and fixpoints of nondeterministic immediateconsequence operators and their extensions to the fourvalued setting. We develop our results for programs in propositional language extended with monotone aggregate atoms. For the most part, our concepts, results and proof techniques are algebraic, which opens a possibility for further generalizations to the abstract algebraic setting of nondeterministic operators on complete lattices.
Ultimate approximation and its application in nonmonotonic knowledge representation systems
, 2004
"... ..."
Properties and applications of programs with monotone and convex constraints
 J. ARTIFICIAL INTELLIGENCE RESEARCH
, 2006
"... We study properties of programs with monotone and convex constraints. We extend to these formalisms concepts and results from normal logic programming. They include the notions of strong and uniform equivalence with their characterizations, tight programs and Fages Lemma, program completion and loop ..."
Abstract

Cited by 12 (0 self)
 Add to MetaCart
We study properties of programs with monotone and convex constraints. We extend to these formalisms concepts and results from normal logic programming. They include the notions of strong and uniform equivalence with their characterizations, tight programs and Fages Lemma, program completion and loop formulas. Our results provide an abstract account of properties of some recent extensions of logic programming with aggregates, especially the formalism of lparse programs. They imply a method to compute stable models of lparse programs by means of offtheshelf solvers of pseudoboolean constraints, which is often much faster than the smodels system.