Results 1  10
of
896
Probabilistic Reasoning in Terminological Logics
, 1994
"... In this paper a probabilistic extensions for terminological knowledge representation languages is defined. Two kinds of probabilistic statements are introduced: statements about conditional probabilities between concepts and statements expressing uncertain knowledge about a specific object. The usua ..."
Abstract

Cited by 86 (5 self)
 Add to MetaCart
. The usual modeltheoretic semantics for terminological logics are extended to define interpretations for the resulting probabilistic language. It is our main objective to find an adequate modelling of the way the two kinds of probabilistic knowledge are combined in commonsense inferences of probabilistic
A Correspondence Theory for Terminological Logics: Preliminary Report
 In Proc. of IJCAI91
, 1991
"... We show that the terminological logic ALC comprising Boolean operations on concepts and value restrictions is a notational variant of the propositional modal logic K (m) . To demonstrate the utility of the correspondence, we give two of its immediate byproducts. Namely, we axiomatize ALC and give a ..."
Abstract

Cited by 307 (0 self)
 Add to MetaCart
We show that the terminological logic ALC comprising Boolean operations on concepts and value restrictions is a notational variant of the propositional modal logic K (m) . To demonstrate the utility of the correspondence, we give two of its immediate byproducts. Namely, we axiomatize ALC and give
A temporal terminological logic
, 1990
"... An attempt is made to integrate three wellknown formalisms of knowledge representation: terminological logic in the tradition of KLONE, the temporal logic of Shoham, and Allen’s interval calculus. Drawing on each of these sources, a temporal terminological logic is proposed which combines struc ..."
Abstract

Cited by 35 (0 self)
 Add to MetaCart
An attempt is made to integrate three wellknown formalisms of knowledge representation: terminological logic in the tradition of KLONE, the temporal logic of Shoham, and Allen’s interval calculus. Drawing on each of these sources, a temporal terminological logic is proposed which combines
On Rough Terminological Logics
"... : In this paper, we incorporate the notion of rough sets into terminological logics. Terminological logics formalize the classical framebased knowledge representation systems in AI and can represent and reason about concepts and roles in the objective worlds. In such logics, a concept is interprete ..."
Abstract

Cited by 8 (0 self)
 Add to MetaCart
: In this paper, we incorporate the notion of rough sets into terminological logics. Terminological logics formalize the classical framebased knowledge representation systems in AI and can represent and reason about concepts and roles in the objective worlds. In such logics, a concept
A Probabilistic Terminological Logic
, 1994
"... Some researchers have recently argued that the task of Information Retrieval (IR) may successfully be described by means of mathematical logic; accordingly, the relevance of a given document to a given information need should be assessed by checking the validity of the logical formula d + n, where d ..."
Abstract
 Add to MetaCart
d is the representation of the document, n is the representation of the information need and “+ ” is the conditional connective of the logic in question. In a recent paper we have proposed Terminological Logics (TLs) as suitable logics for modelling IR within the paradigm described above
A Probabilistic Terminological Logic for
"... Some researchers have recently argued that the task of Information Retrieval (IR) may successfully be described by means of mathematical logic; accordingly, the relevance of a given document to a given information need should be assessed by checking the validity of the logical formula d + n, where d ..."
Abstract
 Add to MetaCart
d is the representation of the document, n is the representation of the information need and “+ ” is the conditional connective of the logic in question. In a recent paper we have proposed Terminological Logics (TLs) as suitable logics for modelling IR within the paradigm described above
Terminological logics with modal operators
, 1994
"... Terminological knowledge representation formalisms can be used to represent objective, timeindependent facts about an application domain. Notions like belief, intentions, and time which are essential for the representation of multiagent environments can only be expressed in a very limited way. For ..."
Abstract

Cited by 28 (1 self)
 Add to MetaCart
. For such notions, modal logics with possible worlds semantics provides a formally wellfounded and wellinvestigated basis. This paper presents a framework for integrating modal operators into terminological knowledge representation languages. These operators can be used both inside of concept expressions
Existential Graphs for Terminological Logics
, 1994
"... In this paper I focus on graphic forms of representation for klonebased knowledge representation languages. I consider the semantic network formalism due to R. Brachman and the system of existential graph due C. S. Peirce. The semantic networks of Brachman are very weak. Not all the information ..."
Abstract
 Add to MetaCart
the information expressible in a terminological language can be represented as a semantic network. By contrast, the system of Peirce is very powerful. I show how any information expressed in any terminological language can be transformed and displayed as an existential graph and propose that existential
A Computationally Tractable Terminological Logic
 In Proceedings of SCAI91, 3rd Scandinavian Conference on Artificial Intelligence
, 1991
"... Terminological Logics are knowledge representation formalisms of enormous applicative interest, as they are specifically oriented to the vast class of application domains that are describable by means of taxonomic organizations of complex objects. A number of results relative to the computational co ..."
Abstract

Cited by 7 (6 self)
 Add to MetaCart
Terminological Logics are knowledge representation formalisms of enormous applicative interest, as they are specifically oriented to the vast class of application domains that are describable by means of taxonomic organizations of complex objects. A number of results relative to the computational
Document retrieval by relevance terminological logics
 Proceedings of MIRO95, Workshop on Multimedia Information Retrieval
, 1996
"... Information Retrieval (IR) is presented as the task of retrieving the documents that are relevant to a given query. In the context of a Terminological Logic (TL) based approach to IR, this amounts to embodying a notion of relevance in the logical implication relation of the chosen TL. Among the many ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
Information Retrieval (IR) is presented as the task of retrieving the documents that are relevant to a given query. In the context of a Terminological Logic (TL) based approach to IR, this amounts to embodying a notion of relevance in the logical implication relation of the chosen TL. Among
Results 1  10
of
896