N. Kurtonina and M. de Rijke. Expressiveness of first-order description logics. Technical report, Dept. of Computer Science, University of Warwick, 1997. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Linguistic Grammar as Dynamic Logic - van Benthem (1997) (Correct)
....not matter. But this is a very restricted language, and additions will soon become too expressive for this match. Thus, the ternary semantics seems the more flxible framework over all. 15 There is a spate of recent results by Kurtonina, Moortgat, and de Rijke on their semantics and complexity. Kurtonina de Rijke 1997 connects up with current work on low complexity terminological languages . 10 Of course, this re interpretation strategy for Boolean operations can also be applied to arbitrary further logics, say, to modal or first order ones. 16 Once again, the move away from standard Booleans is also ....
N. Kurtonina & M. de Rijke, 1997, 'Expressiveness of First-Order Description Logics', Department of Computer Science, University of Warwick, Report RR-325.
Modal Logics and Description Logics - de Rijke (1998) Self-citation (De rijke) (Correct)
....only if, it is invariant under bisimulations. This result is basically an old result for modal logic proved by Van Benthem in his thesis [2] the terminology was quite different, and only uni modal languages were considered but the definitions and proofs easily extend to the multi modal case. In [6, 7] this characterization result has been extended and adapted to many description logics other than ALC. The main use of these characterizations is in understanding the expressive power of description logics. 4 The Right Fragment So, fragments of first order logic that correspond to description ....
N. Kurtonina and M. de Rijke. Expressiveness of first-order description logics. Technical report, Dept. of Computer Science, University of Warwick, 1997.
Expressiveness Revisited - Areces, de Rijke (1998) (2 citations) Self-citation (De rijke) (Correct)
....the difference in expressive power of two formalisms. Naturally, what one is after is to get the highest expressive power at the lowest computational costs. The issue of expressive power for description logics was first addressed by Baader [1] and Borgida [3] and later by Kurtonina and de Rijke [13, 14]. The approaches proposed by the first two authors are similar, but they differ in many ways from the approach of the latter two authors which has a definite model theoretic character. The different approaches induce different classifications of description logics with respect to their expressive ....
....which would be hidden by the existential quantification over T 2 in the definition. Finally, observe that Baader s definition does not give an explicit description of what a given description logic can express; it only explains the relative expressive power of logics. x3.3. Kurtonina and de Rijke [13, 14]. The core of this competing definition of expressive power is the notion of simulation. The best way to understand simulations is through an example. Let us take ALC and consider only concepts for a moment. Definition 2 Let I = Delta I ; Delta I ) and J = Delta J ; Delta J ) be two ....
[Article contains additional citation context not shown here]
N. Kurtonina and M. de Rijke. Expressiveness of first-order description logics. Technical report, Dept. of Computer Science, University of Warwick, 1997.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC