Straccia, U. (1997). A sequent calculus for reasoning in fourvalued description logics. In Proc. of the Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX-97), Pont-a-Mousson, France. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Deduction in Many-Valued Logics: a Survey - Reiner Hähnle, Gonzalo.. (1997) (2 citations) (Correct)
....originating from different sources (agents) with distinct information. In [97] an annotated logic program is derived from a lattice. A general framework for using many valued logic in knowledge representation was given by [36] An application of many valued deduction in description logic is [143]. Fuzzy Control Most fuzzy controllers are based on fuzzy rules [23] in which the premise is a conjunction and each conjunct has the form X i is A i , X i denoting an input or state variable of the process to be controlled and A i a fuzzy set. In [41] the different possible semantics for such ....
U. Straccia. A sequent calculus for reasoning in four-valued description logics. In D. Galmiche, editor, Proc. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Pont-`a-Mousson, France, volume 1227 of LNCS, pages 343--357. Springer-Verlag, 1997.
Mirlog:a Logic For Multimedia Informa Tion Retrieva - Carlo Meghini Fabrizio (1998) (1 citation) Self-citation (Straccia) (Correct)
No context found.
Straccia, U. (1997). A sequent calculus for reasoning in fourvalued description logics. In Proc. of the Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX-97), Pont-a-Mousson, France.
Mirlog: A logic for multimedia information retrieval - Meghini, Sebastiani, Straccia (1998) (1 citation) Self-citation (Straccia) (Correct)
....as the above mentioned structural subsumption algorithm. Moreover, the method is easily adaptable to the di#erent DLs described in the literature. For space reason, we do not present this proof procedure here, the interested reader may refer to [37] On the basis of this method, it has been proven [51] that deciding entailment ( 4 ) for a language with closures but without definitions is a PSPACE complete problem, while the same problem becomes EXPTIME hard when definitions are considered. Recently, it has been shown that analytic tableaux methods for two valued DLs are quite ine#cient, as ....
Umberto Straccia. A sequent calculus for reasoning in four-valued description logics. In Proc. of the Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX-97), Pont-a-Mousson, France, 1997. To appear.
A Framework for the Retrieval of Multimedia Objects Based on.. - Straccia (2000) (4 citations) Self-citation (Straccia) (Correct)
....i3 = #o3, v3# and which are about sport . We can formalise our request by means of the concept Q ### = Q ## # Q . As before, only image i1 will be retrieved, as DB = 2 Q ### (o1) and DB # = 2 Q ### (o2) hold. 3. 2 A Four Valued DL The four valued semantics for ALC is described in [25,26,33]. The extension to ALC(OFL,F ) is straightforward which we briefly resume below. Four valued Semantics The key di#erence between a classical logic and our four valued logic is that, while the former relies on the classical set of truth values t, f , the latter relies on its powerset 2 t,f ....
....# D I (d) for all d # # I . From this, the definition of satisfiable knowledge base and entailment (denoted by = 4 ) easily follows. As for the classical two valued case, K = 4 R(a, b) i# R(a, b) # K. We will briefly resume some main properties of our four valued semantics (see also [26,33] for details) Let DB = #OFL,OSL,F # be a multimedia database. At first, it can easily be verified that K = 4 C # D i# K # C(a) 4 D(a) holds (a is a new individual) i.e. the hybrid subsumption problem can be reduced to the instance checking problem. Therefore, we will restrict our ....
[Article contains additional citation context not shown here]
Umberto Straccia. A sequent calculus for reasoning in four-valued description logics. In Proc. of the Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX-97), number 1227 in Lecture Notes In Artificial Intelligence, pages 343--357, Pont-a-Mousson, France, 1997.
A Model of Multimedia Information Retrieval - Meghini, Sebastiani, Straccia (2001) (9 citations) Self-citation (Straccia) (Correct)
....model based on a description logic was given in [49] Starting from that formulation, two parallel streams of development have been undertaken. On the one hand, we have worked on the tool, aiming at the definition of a description logic more tightly coupled with the task of information retrieval [13, 48, 50, 68, 78, 79, 80, 81]. On the other hand, we have worked on the application of this tool to image retrieval [44, 47] and successively generalized the model to MIR [46] In order to simplify the presentation, the present paper does not include the full blown logical tool resulting from the former stream of research, ....
U. Straccia. A sequent calculus for reasoning in four-valued description logics. In Proceedings of TABLEAUX-97, International Conference on Analytic Tableaux and Related Methods, number 1227 in Lecture Notes in Artificial Intelligence, pages 343--357, Pont-`a-Mousson, FR, 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