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 (2006-mff)



more...
See abstract
Húsek Dušan, Pokorný Jaroslav, Řezanková Hana, Snášel Václav
Data clustering: From documents to the Web
Chapter 1 in the book: Web Data Management Practices: Emerging Techniques and Technologies, (Eds. Vakali A., Pallis G.), Idea Group Inc., 2007, pp. 1-33.
more...
Pokorný Jaroslav, Reschke, J.
Exporting relational data into a native XML store
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)
Vojtáš Peter
Fuzzy Logic Aggregation for Semantic Web Search for the Best Answer
In the book: Fuzzy Logic and the Semantic Web. (Ed. Sanchez E.), Capturing Intelligence Series, 1, Elsevier, 2006, pp. 341-359 ISBN: 0-444-51948-3
Pokorný Jaroslav
Database Architectures: Current Trends and Their Relationships to Requirements of Practice
In: Proceedings of ISD’ 06 Conference, 31.8.-2.9.2006, Budapest, Hungary
to appear in: INFORMATION SYSTEMS DEVELOPMENT Series, Springer Verlag, 2006.
Galamboš Leo
Dynamic Inverted Index Maintenance
In: International Journal of Computer Science, Volume 1, Number 2, 2006, pp. 157-162.
Pokorný Jaroslav
Database architectures: current trends and their relationships to environmental data management
In: Environmental Modelling & Software, Vol. 21, Issue 11, pp. 1579-1586, Elsevier Science, 2006. (ISSN: 1364-8152)
Snášel Václav, Moravec P., Pokorný Jaroslav
Using BFA with WordNet Based Model for Web Retrieval
In: Journal of Digital Information Management, Vol. 4, No. 2, June 2006, pp. 107-111.
Bustos B., Skopal Tomáš
Dynamic Similarity Search in Multi-Metric Spaces
In: Accepted for ACM MIR 2006 (a workshop at ACM Multimedia 2006), Santa Barbara, CA, USA
Bednárek David
Turingovské vzory v XSLT programech
Accepted for: ITAT, 26.9.–1.10.2006, Chata Kosodrevina, Bystrá dolina, Nízke Tatry, Slovakia, 2006.
Lánský J., Galamboš Leo, Chernik K.
Komprese webového uložiště
Accepted for: ITAT, 26.9.–1.10.2006, Chata Kosodrevina, Bystrá dolina, Nízke Tatry, Slovakia, 2006.
Yaghob Jakub, Zavoral Filip
Budování infrastruktury sémantického webu
Accepted for: ITAT, 26.9.–1.10.2006, Chata Kosodrevina, Bystrá dolina, Nízke Tatry, Slovakia, 2006.
more...
See abstract
Nečaský Martin
XSEM – A Conceptual model for XML Data
In: Proceedings of Communications and Doctoral Consortium, 7th International Baltic Conference on Databases and Information Systems, Vilnius, 2006, pp. 328-331.
more...
See abstract
Toman Kamil, Mlýnková Irena
XML Data - The Current State of Affairs
In: Proceedings of XML Prague 2006 conference, 17.6.-18.6.2006, Prague, Czech Republic, ITI Series, MFF UK, June 2006, pp. 87 - 102.
Pokorný Jaroslav
Databázové architektury: současné trendy a jejich vztah k novým požadavkům praxe
In: Sborník příspěvků 20. ročníku konference Moderní databáze, 30.5.-31.5.2006, Hotel Legner, Zvánovice, KOMIX, pp. 5-14 (ISBN 80-239-7109-3)
more...
See abstract
Nečaský Martin
Conceptual Modeling for XML: A Survey
In: Snášel, V., Richta, K., and Pokorný, J.: Proceedings of the Dateso 2006 Annual International Workshop on DAtabases, TExts, Specifications and Objects, 26.4.-28.4.2006, Desná - Černá Říčka, Czech Republic, CEUR-WS, Vol. 176, pp. 40-53.
more...
See abstract
Skopal Tomáš
On Fast Non-Metric Similarity Search by Metric Access Methods
In: Proceedings of 10th International Conference on Extending Database Technology EDBT 2006, 26.3.-31.3.2006, Munich, Germany, Eds. Y. Ioannidis et al., 2006, pp. 718-736 (ISBN: 3-540-32960-9)
more...
See abstract
Vojtáš Peter
Model Theoretic and Fixpoint Semantics for Preference Queries over Imperfect Data
In: Proceedings of Inconsistency and Incompleteness in Databases, International Workshop Collocated with the 10 th International Conference on Extending Database Technology, 26.3.2006, Munich, Germany, Jan Chomicki, Jef Wijsen (Eds.), 2006, pp. 87-91.
See abstract
Obdržálek David, Kulhánek Jiří
Generating and handling of differential data in DataPile-oriented systems
In: Proceedings of the IASTED International Conference on Databases and Applications (DBA 2006) as part of the 24th IASTED International Multi-Conference on Applied Informatics, 13.2.-15.2.2006, Innsbruck, Austria, Ed. M. H. Hamza, 2006. (ISBN: 0-88986-560-4)
more...
Wiedermann Jiří, Tel G., Pokorný Jaroslav, Bieliková M., Štuller Július
Editors: SOFSEM 2006: Theory and Practice of Computer Science
Eds: Proceedings of SOFSEM 2006: Theory and Practice of Computer Science, 21.1.-27.1.2006, Měřín, Czech Republic, LNCS 3831, Springer, Berlin, 2006. (ISBN: 3-540-31198-X)
Wiedermann Jiří, Tel G., Pokorný Jaroslav, Bieliková M., Štuller Július
Editors: SOFSEM 2006: Theory and Practice of Computer Science
Eds: Proceedings of SOFSEM 2006: Theory and Practice of Computer Science, 21.1.-27.1.2006, Měřín, Czech Republic, Volume II, ICS AS CR, Prague, 2006. (ISBN 80-903298-4-5)
more...
See abstract
Mlýnková Irena, Toman Kamil, Pokorný Jaroslav
Statistical Analysis of Real XML Data Collections
Technical Report 2006/5, MFF UK, June 2006, 39 p.
more...
See abstract
Nečaský Martin
Conceptual Modeling for XML: A Survey
Technical Report No. 2006-3, Dep. of Software Engineering, Faculty of Mathematics and Physics, Charles University, Prague, 2006, 54 p.
more...
See abstract
Ali K., Pokorný Jaroslav
XML-based Temporal Models
Research Report DC-2006-02, Dep. of Comp. Sc. and Engineering, FEE TU Prague, May 2006, 39 s.
This page was last modified 20.01.2020 14:00.