Add to ORKGParametrized logic programs are very expressive logic pro-grams that generalize normal logic programs under the stable model semantics, by allowing complex formulas of a parame-ter logic to appear in the body and head of rules. In this paper we explore the use of description logics as parameter logics, and show the expressivity of this framework for combining rules and ontologies
Abstract. This paper provides an abstract definition of some kinds of logics, called diagrammatic lo...
Description logics (DLs) are a family of state-of-the-art knowledge representation languages, and th...
Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends seve...
Abstract. Traditionally, a logic program is built up to reason about atomic first-order formulas. Th...
Abstract. Equilibrium logic provides a logical foundation for the stable model approach to the seman...
Abstract. Parametrized logic programs are very expressive logic pro-grams that generalize normal log...
In this paper, we address the problem of dealing with inconsistent knowledge bases consisting of ont...
AbstractThe different semantics that can be assigned to a logic program correspond to different assu...
We show how to interoperate, semantically and inferentially, between the leading Semantic Web approa...
Abstract. We propose a paraconsistent declarative semantics of pos-sibly inconsistent generalized lo...
Abstract. Recently much attention has been directed to extending logic programming with description ...
International audienceThis paper is about the integration in a unique formalism of knowledge represe...
Towards the integration of rules and ontologies in the Semantic Web, we propose a combination of log...
Recently much attention has been directed to extending logic programming with description logic (DL)...
Towards the integration of rules and ontologies in the Semantic Web, we propose a combination of lo...
Abstract. This paper provides an abstract definition of some kinds of logics, called diagrammatic lo...
Description logics (DLs) are a family of state-of-the-art knowledge representation languages, and th...
Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends seve...
Abstract. Traditionally, a logic program is built up to reason about atomic first-order formulas. Th...
Abstract. Equilibrium logic provides a logical foundation for the stable model approach to the seman...
Abstract. Parametrized logic programs are very expressive logic pro-grams that generalize normal log...
In this paper, we address the problem of dealing with inconsistent knowledge bases consisting of ont...
AbstractThe different semantics that can be assigned to a logic program correspond to different assu...
We show how to interoperate, semantically and inferentially, between the leading Semantic Web approa...
Abstract. We propose a paraconsistent declarative semantics of pos-sibly inconsistent generalized lo...
Abstract. Recently much attention has been directed to extending logic programming with description ...
International audienceThis paper is about the integration in a unique formalism of knowledge represe...
Towards the integration of rules and ontologies in the Semantic Web, we propose a combination of log...
Recently much attention has been directed to extending logic programming with description logic (DL)...
Towards the integration of rules and ontologies in the Semantic Web, we propose a combination of lo...
Abstract. This paper provides an abstract definition of some kinds of logics, called diagrammatic lo...
Description logics (DLs) are a family of state-of-the-art knowledge representation languages, and th...
Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends seve...