Results 261 to 270 of about 2,936,274 (295)

On Fuzzy Description Logics

2008
Description Logics (DLs) are knowledge representation languages, particularly suited to specify formal ontologies. DLs have been studied extensively over the last two decades. Fuzzy Description Logics (FDLs) incorporate vague concepts modeling them as fuzzy sets.
Àngel García-Cerdaña, Francesc Esteva
openaire   +2 more sources

Autoepistemic Description Logics.

1997
We present Autoepistemic Description Logics (ADLs), in which the language of Description Logics is augmented with modal operators interpreted according to the nonmonotonic logic MKNF. We provide decision procedures for query answering in two very expressive ADLs.
F. M. Donini, NARDI, Daniele, ROSATI, Riccardo   +2 more
openaire   +2 more sources

A logical calculus with descriptions

Journal of Philosophical Logic, 1974
is well-formed but not derivable though it is an instance of the tertium non datur. This fact suggests to attempt a similar treatment of descriptions: formulas which contain terms like zx(A (x) A ~A (x)) are considered as wff but the tertium non datur does not hold generally for such formulas.
openaire   +2 more sources

A Logical Semantics for Description Logic Programs

2010
We present a new semantics for Description Logic programs [1] (dl-programs) that combine reasoning about ontologies in description logics with non-monotonic rules interpreted under answer set semantics. Our semantics is equivalent to that of [1], but is more logical in style, being based on the logic QHT of quantified here-and-there that provides a ...
Michael Fink 0001, David Pearce 0001
openaire   +1 more source

Autoepistemic Description Logics.

AI Commun., 1998
A non-first-order extension of description logics (DL) which is able to both formalize the nonmonotonic features of knowledge representation (KR) systems, and to provide a computational characterization of reasoning in such a setting, is defined.
openaire   +2 more sources

Fusion of Logic Programming and Description Logics

2009
Broadly, our research concerns the fusion of Logic Programming (LP) andDescription Logics (DLs), two solid knowledge representation paradigms with largely dual properties.The two feature different semantics and orthogonal expressivity, and they apply different reasoning techniques.
openaire   +1 more source

Pinpointing in the Description Logic EL.

2007
Axiom pinpointing has been introduced in description logics (DLs) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base that have the consequence in question. Until now, the pinpointing approach has only been applied to the DL ALC and some of its extensions.
Baader, F, Peñaloza, R, Suntisrivaraporn, B   +2 more
openaire   +3 more sources

A Logic Synthesis Methodology for Low-Power Ternary Logic Circuits

IEEE Transactions on Circuits and Systems I: Regular Papers, 2020
Sunmean Kim, Sunghye Park, Sung-Yün Lee   +2 more
exaly  

Complexity and expressive power of logic programming

ACM Computing Surveys, 2001
Thomas Eiter, Georg Gottlob
exaly  

Service-dominant logic: continuing the evolution

Journal of the Academy of Marketing Science, 2007
Stephen Vargo, Robert F Lusch
exaly