Naposledy ...

more...

Blocking mechanisms in description logics, a general approach

Dmitry Tishkovsky - 11.6.2008

We will take a close look on various standard mechanism of blocking in tableaux for various description logics and attemt to simulate these mechanisms by a general blocking rule - the unrestricted blocking rule. In particular, we will consider static and dynamic, subset and equality, and successor and anywhere blocking mechanisms.


more...

A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments

Dmitry Tishkovsky - 11.6.2008

A general method for proving termination of tableaux-based procedures for modal-type logics and related first-order fragments will be presented. The method is based on connections between filtration arguments and a general blocking technique. The method provides a general framework for developing tableau-based decision procedures for a large class of logics. In particular, the method can be applied to many well-known description and modal logics. The class includes traditional modal logics such as S4 and modal logics with the universal modality, as well as description logics such as ALC with nominals and general TBoxes. Also contained in the class are harder and less well-studied modal logics with complex modalities and description logics with complex role operators such as Boolean modal logic, and the description logic ALBO. In addition, the techniques allow us to specify tableau-based decision procedures for related solvable fragments of first-order logic, including the two-variable fragment of first-order logic. This solves a long-standing open problem.


more...

Reasoning about actions and knowlege: Multi-agent dynamic logics with informational test

Dmitry Tishkovsky - 9.6.2008

The logics are based on a new formalisation and semantics of the test operator of propositional dynamic logic and a representation of actions which distinguishes abstract actions from concrete actions. The new test operator, called informational test, can be used to formalise the beliefs and knowledge of particular agents as dynamic modalities. This approach is consistent with the formalisation of the agents` beliefs and knowledge as K(D)45 and S5 modalities. Properties concerning informativeness, truthfulness and preservation of beliefs were proved for a derivative of the informational test operator. It was shown that common belief and common knowledge can be expressed in the considered logics. This means, the logics are more expressive than propositional dynamic logic with an extra modality for belief or knowledge. The logics remain decidable and belong to 2EXPTIME. Versions of the considered logics express natural additional properties of beliefs or knowledge and interaction of beliefs or knowledge with actions. It was shown that a simulation of PDL can be constructed in one of these extensions.


Results - Publications (2005-mff)



more...
See abstract
Almarimi Abdelsalam, Pokorný Jaroslav
Schema Management for Data Integration: A Short Survey.
In: Acta Polytechnica, Vol. 45, No. 1, 2005, pp. 24-27, The Czech Technical University in Prague, 2005.
more...
See abstract
Almarimi Abdelsalam, Pokorný Jaroslav
A Mediation Layer For Heterogeneous XML Schemas
In: Int. Journal of Web Information Systems, Vol. 1, No. 1, March 2005, pp.25-32, Troubador Publishing LTD.
more...
See abstract
Skopal Tomáš
On Fast Non-Metric Similarity Search by Metric Access Methods
Accepted to: 10th International Conference on Extending Database Technology EDBT 2006, 26.3.-30.3.2006, Munich, Germany
See abstract
Obdržálek David, Kulhánek Jiří
Generating and handling of differential data in DataPile-oriented systems
Accepted to: The IASTED International Conference on Internet and Multimedia Systems and Applications (EuroIMSA 2006), 13.2.-15.2.2006, Innsbruck, Austria
more...
See abstract
Snášel Václav, Moravec Pavel, and Pokorný Jaroslav
Using BFA with wordnet ontology based model for web retrieval
In: Proceedings of the First IEEE International Conference on Signal-Image Technology & Internet-Based Systems (SITIS'05), 27.11.-1.12.2005, Yaoundé, Cameroon, pp. 254-259.
more...
See abstract
Bednarek David, Obdrzalek David, Yaghob Jakub, Zavoral Filip
Data Integration Using DataPile Structure.
In: Proceedings of the 9th East-European Conference on Advances in Databases and Information Systems (ADBIS 2005), 12.9.-15.9.2005, Tallin, Estonia, 2005. pp. 178-188
more...
See abstract
Pokorný Jaroslav
Database architectures: current trends and their relationships to environmental data management.
In: Proceedings of the 19th Conference EnviroInfo (Informatics for Environmental Protection, Networking Environmental Information), Masaryk University in Brno, 7.9 - 9.9., 2005, pp. 24-28
Vojtáš Peter
Fuzzy Logic as an Optimization Task
In: Fuzzy Logic and Technology. (Ed.: Montseny E., Sobrevilla P.) - Barcelona, 2005, pp. 781-786 (ISBN: 84-7683-872-3)
Held: EUSFLAT - LFA 2005. Conference of the European Society for Fuzzy Logic and Technolog /13./, Recontres Francophones sur la Logique Floue et ses Applications /11./, 7.9.-9.9.2005, Barcelona, Spain.
more...
Pokorný Jaroslav, Reschke J.
Exporting relational data into a native XML store.
Presented at: ISD 2005 - International Conference on Information Systems Development, 14.8.-17.8.2005
Chapter in the book: Advances in Information Systems Development - Bridging the Gap between Academia and Industry. Vol. 2, Edited by A.G. Nilsson et al, Springer Verlag, 2006, pp. 807-818 (ISBN 0-387-30834-2)
more...
See abstract
Pokorný Jaroslav
Směrem k Sémantickému Webu.
In: Sborník příspěvků 20. ročníku konference Moderní databáze, 26.5.-27.5.2005, Hotel Amber, Roudnice n. L.. KOMIX, pp. 15-24.
more...
See abstract
Pokorný Jaroslav
Digitální knihovny v prostředí Sémantického webu.
In: Sborník z 10. ročníku semináře AKP, 3.5.-4.5.2005 (automatizace knihovnických procesů - 10.) (eds. D. Tkačíková, B. Ramajzlová), VIC ČVUT, 2005, pp. 64-73.
more...
Skopal Tomáš, Pokorný Jaroslav, Snášel Václav
Nearest Neighbours Search using the PM-tree.
In: Proceedings of The 10th International Conference on Database Systems for Advanced Applications (DASFAA 2005), 17.4.-20.4.2005,  Beijing, China, LNCS 3453, Springer Verlag, 2005, pp. 803-815.
more...
See abstract
Snášel Václav, Moravec Pavel, Pokorný Jaroslav
WordNet Ontology Based Model for Web Retrieval.
In: Proceeding of the International Workshop on Challenges in Web Information Retrieval and Integration (WIRI) 2005, 8.4.-9.4. 2005, Tokyo, Japan, In conjunction with IEEE ICDE 2005, pp. 231-236.
more...
See abstract
Pokorný Jaroslav, Smižanský J.
Page Content Rank: an Approach to the Web Content Mining.
In: Proceedings of IADIS - International Conference Applied Computing, Volume 1, 22.2.-25.2. 2005, Algarve, Portugal, IADIS Press, pp. 289-296.
This page was last modified 20.01.2020 14:00.