Previous ...

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.


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.


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.


Valid XHTML 1.0!

Results - Publications

Year 2008 Year 2007 Year 2006 Year 2005 Year 2004 Years 2004-2008
 
The list of publications in RDF format

 
 
2008
0
0
1
1 / 0
1
2
1
4 / 0
17
32
12
59 / 12
4
0
2
6 / 0
1
0
0
1 / 1
total
24
35
20
77 / 14


Paper in pdf format
See abstract
Ali K., Pokorný Jaroslav
A Three-Dimensional XML-Based Model
In: SOFSEM 2008: Theory and Practice of Computer Science, LNCS 4910, Springer, 2008, pp. 659-671.
Presented at: 34th International Conference on Current Trends in Theory and Practice of Computer Science, 19.-25.1.2008, Nový Smokovec, High Tatras, Slovakia.
Basovník Stanislav, Dekár Martin, Jusko Pavol, Mikulík Andrej, Obdržálek David, Pechal Radim, Petrůšek Tomáš, Piták Roman
Logion - A Robot Which Collects Rocks
In: Proc. of International Conference on Research and Education in Robotics, 2008, pp. 276-287. ISBN: 978-80-7378-042-5
Presented at: EUROBOT 2008: International Conference on Research and Education in Robotics, 21.-24.5.2008, Heidelberg, Germany.
See abstract
Batko Michal, Skopal Tomáš, Lokoč Jakub
New Dynamic Construction Techniques for M-tree
In: Journal of Discrete Algorithms, Elsevier, Amsterdam, The Netherlands, 2008. (in_print)
Batko Michal, Novák David, Falchi Fabrizio, Zezula Pavel
Scalability Comparison of Peer-to-Peer Similarity Search Structures
In: Future Generation Computer Systems, Volume: 24, No: 8, Elsevier, Amsterdam, The Netherlands, 2008, pp. 834-848.
Bednárek David
Output-Driven XQuery Evaluation
In: Proc. of 2nd International Symposium on Intelligent Distributed Computing, Studies in Computational Intelligence, (Ed. C. Badica et al.), Volume: 162, Springer-Verlag, Heidelberg, 2008, pp. 55-64. ISBN: 978-3-540-85256-8
Presented at: IDC 2008: 2nd International Symposium on Intelligent Distributed Computing, 18.-19.9.2008, Catania, Italy.
Bednárek David
Reducing Temporary Trees in XQuery
In: Proc. of 12th Advances in Databases and Information Systems, LNCS 5207, Springer-Verlag, Berlin, 2008, pp. 30-45. ISBN: 978-3-540-85712-9
Presented at: ADBIS 2008: 12th Advances in Databases and Information Systems, 5.-9.9.2008, Pori, Finland.
Bednárek David, Yaghob Jakub, Zavoral Filip
Fine Grained Access Rights Definition in a Three Tiered Information System
In: Proc. of 5th International Conference on Innovations in Information Technology, IEEE Computer Society Press, 2008. (in_print)
Presented at: Innovations 2008: 5th International Conference on Innovations in Information Technology, 16.-18.12.2008, Al Ain, United Arab Emirates.
Bednárek David
Extending Datalog to Cover XQuery
In: Proc. of Information Technologies - Application and Theory, (Ed. P. Vojtáš), PONT, Seňa, 2008, pp. 1-6. ISBN: 978-80-969184-9-2
Presented at: Konferencia o informačných (inteligentných) technológiách - aplikácie a teória 2008, 22.-26.9.2008, High Tatras, Slovakia.
Dědek Jan, Eckhardt Alan, Vojtáš Peter
Experiments with Czech Linguistic Data and ILS
In: Inductive Logic Programming (Late Breaking Papers), Action M, Prague, 2008, pp. 20-25. ISBN: 978-80-86742-26-7
Presented at: ILP 2008: Inductive Logic Programming, 10.-12.9.2008, Prague, Czech Republic.
Dědek Jan, Vojtáš Peter
Computing aggregations from linguistic web resources: a case study in Czech Republic sector/traffic accidents
In: Proc. of International Conference on Advanced Engineering Computing and Applications in Science, IEEE Computer Society Press, 2008, pp. 7-12. ISBN: 978-0-7695-3369
Presented at: ADVCOMP 2008: International Conference on Advanced Engineering Computing and Applications in Science, 29.9.-4.10.2008, Valencia, Spain.
Paper in pdf format
See abstract
Dědek Jan, Vojtáš Peter
Extrakce informací z textově orientovaných zdrojů webu
In: Znalosti 2008, (Ed. V. Snášel), Vydavatelstvo STU, Bratislava, 2008.
Presented at: Znalosti 2008, 13.-15.2.2008, Bratislava, Slovakia.
Dědek Jan, Eckhardt Alan, Galamboš Leo, Vojtáš Peter
Sémantický web
In: DATAKON 2008, (Ed. Řepa V., Svatoš O.), Masaryk university, 2008, pp. 12-30.
Presented at: DATAKON 2008, 18.-21.10.2008, Brno, Czech Republic.
Dokulil Jiří, Katreniaková J.
Visual Exploration of RDF Data
In: SOFSEM 2008: Theory and Practice of Computer Science, LNCS 4910, Springer, 2008, pp. 572-583. ISBN: 978-3-540-77565-2
Presented at: 34th International Conference on Current Trends in Theory and Practice of Computer Science, 19.-25.1.2008, Nový Smokovec, High Tatras, Slovakia.
Paper in pdf format
See abstract
Dokulil Jiří, Katreniaková J.
Visual Exploration of RDF Data
In: SOFSEM 2008: Theory and Practice of Computer Science, LNCS 4910, Springer, 2008, pp. 672-683.
Presented at: 34th International Conference on Current Trends in Theory and Practice of Computer Science, 19.-25.1.2008, Nový Smokovec, High Tatras, Slovakia.
Dvořáková Jana, Zavoral Filip
Xord: An Implementation Framework for Efficient XSLT Processing
In: Proc. of 2nd International Symposium on Intelligent Distributed Computing, Studies in Computational Intelligence, (Ed. C. Badica et al.), Volume: 162, Springer-Verlag, Heidelberg, 2008, pp. 95-104. ISBN: 978-3-540-85256-8
Presented at: IDC 2008: 2nd International Symposium on Intelligent Distributed Computing, 18.-19.9.2008, Catania, Italy.
Dvořáková Jana, Zavoral Filip
BUXT Engine in Xord: Fragment Buffers for Streaming XSLT Transformations
In: Proc. of 5th International Conference on Innovations in Information Technology, IEEE Computer Society Press, 2008. (in_print)
Presented at: Innovations 2008: 5th International Conference on Innovations in Information Technology, 16.-18.12.2008, Al Ain, United Arab Emirates.
Dvořáková Jana, Zavoral Filip
Schema-Based Analysis of XSLT Streamability
In: Proc. of International Conference on Advanced Engineering Computing and Applications in Science, IEEE Computer Society Press, 2008, pp. 187-192. ISBN: 978-0-7695-3369
Presented at: ADVCOMP 2008: International Conference on Advanced Engineering Computing and Applications in Science, 29.9.-4.10.2008, Valencia, Spain.
Dvořáková Jana, Zavoral Filip
A Low-Memory Streaming Algorithm for XSLT Processing Implemented in Xord Framework
In: Proc. of 1st International Conference on the Applications of Digital Information and Web Technologies, IEEE Computer Society Press, 2008, pp. 239-247. ISBN: 978-1-4244-2624-9
Presented at: ICADIWT 2008: 1st International Conference on the Applications of Digital Information and Web Technologies, 4.-6.8-2008, Ostrava, Czech Republic.
Dvořáková Jana, Zavoral Filip
Determining XSLT Streamability Using New Hierarchical XSD Model
In: Proc. of Information Technologies - Application and Theory, (Ed. P. Vojtáš), PONT, Seňa, 2008, pp. 7-12. ISBN: 978-80-969184-9-2
Presented at: Konferencia o informačných (inteligentných) technológiách - aplikácie a teória 2008, 22.-26.9.2008, High Tatras, Slovakia.
Feuerlicht George, Pokorný Jaroslav, Richta Karel
Object-Relational Database Design: Can your application benefit from SQL:2003?
In: The Inter-Networked World: ISD Theory, Practice, and Education, (Ed. Barry C., Lang M., Wojtkowski W., Wojtkowski G., Wrycza S., Zupancic J.), Springer-Verlag, New York, 2008. ISBN: 978-0387304038
Jusko Pavol, Obdržálek David, Petrůšek Tomáš
Software-Hardware Mapping in a Robot Design
In: Proc. of International Conference on Research and Education in Robotics, LNCS, Springer-Verlag, Heidelberg, 2008, pp. 42-51. ISBN: 978-80-7378-042-5
Presented at: EUROBOT 2008: International Conference on Research and Education in Robotics, 21.-24.5.2008, Heidelberg, Germany.
Kochánek Jiří, Lánský Jan, Uzel Petr, Žemlička M.
Multistream Compression
In: Proc. of Data Compression Conference, IEEE Computer Society Press, 2008, pp. 557. ISBN: 978-0-7695-3121-2
Presented at: DCC 2008: Data Compression Conference, 25.-27.3.2008, Snowbird, Utah, USA.
Kudělka Miloš, Snášel Václav, Lehečka Ondřej, El-Qawasmeh Eyas, Pokorný Jaroslav
Web pages reordering and clustering based on web patterns
In: SOFSEM 2008: Theory and Practice of Computer Science, LNCS 4910, Springer, 2008, pp. 731-742.
Presented at: 34th International Conference on Current Trends in Theory and Practice of Computer Science, 19.-25.1.2008, Nový Smokovec, High Tatras, Slovakia.
Lokoč Jakub, Skopal Tomáš
On Reinsertions in M-tree
In: Proc. of 1st international workshop on Similarity Search and Applications, IEEE Computer Society Press, 2008, pp. 121-128. ISBN: 0-7695-3101-6
Presented at: SISAP 2008: 1st international workshop on Similarity Search and Applications, 11.-12.4.2008, Cancun, Mexico.
Lokoč Jakub, Skopal Tomáš
NM-tree: Flexible Approximate Similarity Search in Metric and Non-metric Spaces
In: Proc. of 19th International Conference on Database and Expert Systems Applications, LNCS 5181, Springer-Verlag, Berlin, 2008, pp. 312-325. ISBN: 978-3-540-85653-5
Presented at: DEXA 2008: 19th International Conference on Database and Expert Systems Applications, 1.-5.9.2008, Turin, Italy.
Paper in pdf format
See abstract
Lokoč Jakub, Skopal Tomáš
On Reinsertions in M-tree
In: 1st International Workshop on Similarity Search and Applications (SISAP 2008), IEEE, 2008. (in_print)
Presented at: SISAP 2008 - Workshop at ICDE 2008, 11.-12.04.2008, Cancun, Mexico.
Mlýnková Irena
An Analysis of Approaches to XML Schema Inference
In: Proc. of 4th International Conference on Signal-Image Technology and Internet-Based Systems, IEEE Computer Society Press, 2008. ISBN: 0-7695-3101-6 (in_print)
Presented at: SITIS 2008: 4th International Conference on Signal-Image Technology and Internet-Based Systems, 30.11.-3.12.2008, Bali, Indonesia.
Mlýnková Irena
Equivalence of XSD Constructs and its Exploitation in Similarity Evaluation
In: Proc. of 7th International Conference on Ontologies, DataBases, and Applications of Semantics, LNCS 5332, Springer-Verlag, Berlin, 2008, pp. 1252-1269. ISBN: 978-3-540-85712-9 (in_print)
Presented at: ODBASE 2008: 7th International Conference on Ontologies, DataBases, and Applications of Semantics, 11.-13.11.2008, Monterrey, Mexico.
Mlýnková Irena
Similarity of XML Schema Definitions
In: Proc. of 8th ACM Symposium on Document Engineering, ACM Press, Berlin, 2008, pp. 187-190. ISBN: 978-1-60558-081-4
Presented at: DocEng 2008: 8th ACM Symposium on Document Engineering, 16.-19.9.2008, Sao Paulo, Brazil.
Mlýnková Irena
Current Trends in Testing XMLMSs
In: Proc. of 17th International Conference on Information Systems Development, Springer Science + Business Media, Inc., Berlin, 2008. ISBN: 978-3-540-85712-9 (in_print)
Presented at: ISD 2008: 17th International Conference on Information Systems Development, 25.-27.8.2008, Paphos, Cyprus.
Paper in pdf format
Mlýnková Irena
XML Schema Inference: A Study
Technical Report: 2008/6, Dep. of Software Engineering, MFF, Charles University, Prague, 2008, 18 p.
Paper in pdf format
See abstract
Mlýnková Irena, Pokorný Jaroslav
UserMap - an Adaptive Enhancing of User-Driven XML-to-Relational Mapping Strategies
In: ADC '08: Proceedings of the 19th Australasian Database Conference, Volume: 75, Australia Computer Society, Wollongong, New South Wales, 2008, pp. 165-174.
Presented at: ADC '08: 19th Australasian Database Conference, 22.-25.01.2008, Wollongong, New South Wales, Australia.
Nečaský Martin, Pokorný Jaroslav
Conceptual Modeling of IS-A Hierarchies for XML
In: Proc. of 18th European Japanese Conference on Information Modelling and Knowledge Bases, EJC2008 Program Comitee and EJC2008 Program Coordination team, 2008, pp. 65-84. ISBN: 978-3-540-85712-9 (in_print)
Presented at: EJC 2008: 18th European Japanese Conference on Information Modelling and Knowledge Bases, 2.-6.6.2008, Tsukuba, Japan.
Paper in pdf format
See abstract
Nečaský Martin
Conceptual Model Based Normalization of XML Views
In: Proc. of DATESO 2008, (Ed. J. Pokorný, V. Snášel, K. Richta), CEUR Workshop Proc., 2008, pp. 13-24.
Presented at: Dateso 2008: Annual International Workshop on DAtabases, TExts, Specifications and Objects, 16.4.-18.4.2008, Desná - Černá Říčka, Czech Republic.
Paper in pdf format
See abstract
Nečaský Martin, Pokorný Jaroslav
Design and Management of Semantic Web Services using Conceptual Model
In: Proceedings of The 23rd Annual ACM Symposium on Applied Computing (SAC 2008), Volume: 3, Fortaleza, Ceará, 2008, pp. 2243-2247.
Presented at: 23rd Annual ACM Symposium on Applied Computing, 16.-20.3.2008, Fortaleza, Brazil.
Obdržálek David
Usage of real-world robotics in Semantic Web
In: Proc. of 5th International Conference on Innovations in Information Technology, IEEE Computer Society Press, 2008. (in_print)
Presented at: Innovations 2008: 5th International Conference on Innovations in Information Technology, 16.-18.12.2008, Al Ain, United Arab Emirates.
Obdržálek David
Daly by se použít robotické metody i v sémantickém webu?
In: Proc. of Information Technologies - Application and Theory, (Ed. P. Vojtáš), PONT, Seňa, 2008, pp. 87-90. ISBN: 978-80-969184-9-5
Presented at: Konferencia o informačných (inteligentných) technológiách - aplikácie a teória 2008, 22.-26.9.2008, High Tatras, Slovakia.
Ondrejička Matúš, Pokorný Jaroslav
Extending Fagin's algorithm for more users based on multidimensional B-tree
In: Proc. of 12th Advances in Databases and Information Systems, LNCS 5207, Springer-Verlag, Berlin, 2008, pp. 199-214. ISBN: 978-3-540-85712-9
Presented at: ADBIS 2008: 12th Advances in Databases and Information Systems, 5.-9.9.2008, Pori, Finland.
Podzimek Michal, Dokulil Jiří, Yaghob Jakub, Zavoral Filip
Mám hlad: pomůže mi Sémantický web?
In: Proc. of Information Technologies - Application and Theory, (Ed. P. Vojtáš), PONT, Seňa, 2008, pp. 91-94. ISBN: 978-80-969184-9-5
Presented at: Konferencia o informačných (inteligentných) technológiách - aplikácie a teória 2008, 22.-26.9.2008, High Tatras, Slovakia.
Pokorný Jaroslav, Vávra Jan, Snášel Václav
A Renewed Matrix Model for XML Data
In: Proc. of 8th International Conference on Intelligent Systems Design and Applications, IEEE Computer Society, 2008. (in_print)
Presented at: ISDA 2008: 8th International Conference on Intelligent Systems Design and Applications, 25.-28.11.2008, Kaohsiung, Taiwan.
Pokorný Jaroslav, Richta Karel, Valenta Michal
Cellstore: Educational and Experimental XML-Native DBMS
In: The Inter-Networked World: ISD Theory, Practice, and Education, (Ed. Barry C., Lang M., Wojtkowski W., Wojtkowski G., Wrycza S., Zupancic J.), Springer-Verlag, New York, 2008. ISBN: 978-0387304038
Paper in pdf format
Šesták Radovan, Lánský Jan, Žemlička M.
Suffix Array for Large Alphabet
In: Proc. of 2008 Data Compression Conference (DCC 2008), IEEE Computer Society Press, 2008, pp. 543-543.
Presented at: DCC 2008 Data Compression Conference, 25.-27.3.2008, Snowbird, Utah, USA.
Paper in pdf format
See abstract
Šesták Radovan, Lánský Jan
Compression of Concatenated Web Pages Using XBW
In: SOFSEM 2008: Theory and Practice of Computer Science, LNCS 4910, Springer, 2008, pp. 743-754.
Presented at: 34th International Conference on Current Trends in Theory and Practice of Computer Science, 19.-25.1.2008, Nový Smokovec, High Tatras, Slovakia.
Snášel Václav, Moravec Pavel, Pokorný Jaroslav
Using SDD for Topic Identification
In: Proc. of 8th International Conference on Intelligent Systems Design and Applications, IEEE Computer Society, 2008.
Presented at: ISDA 2008: 8th International Conference on Intelligent Systems Design and Applications, 25.-28.11.2008, Kaohsiung, Taiwan.
Snášel Václav, Dvorský Jiří, Timofieiev Anton, Pokorný Jaroslav
H-Index Analysis of Enron Corpus
In: Proc. of 8th International Conference on Intelligent Systems Design and Applications, IEEE Computer Society, 2008. (in_print)
Presented at: ISDA 2008: 8th International Conference on Intelligent Systems Design and Applications, 25.-28.11.2008, Kaohsiung, Taiwan.
Vaneková Veronika, Vojtáš Peter
A Description Logic with Concept Ordering and top-k Restriction
In: Proc. of 18th European Japanese Conference on Information Modelling and Knowledge Bases, EJC2008 Program Comitee and EJC2008 Program Coordination team, 2008, pp. 139-149. ISBN: 978-3-540-85712-9 (in_print)
Presented at: EJC 2008: 18th European Japanese Conference on Information Modelling and Knowledge Bases, 2.-6.6.2008, Tsukuba, Japan.
Vojtáš Peter, Gurský Peter
On top-k search with no random access using small memory
In: Proc. of 12th Advances in Databases and Information Systems, LNCS 5207, Springer-Verlag, Berlin, 2008, pp. 97-111. ISBN: 978-3-540-85712-9
Presented at: ADBIS 2008: 12th Advances in Databases and Information Systems, 5.-9.9.2008, Pori, Finland.
Vojtáš Peter
Decathlon, Conflicting Objectives and User Preference Querying
In: Proc. of DATESO 2008, (Ed. J. Pokorný, V. Snášel, K. Richta), CEUR Workshop Proc., 2008, pp. 76-78. ISBN: 978-80-248-1746-0
Presented at: Dateso 2008: Annual International Workshop on DAtabases, TExts, Specifications and Objects, 16.4.-18.4.2008, Desná - Černá Říčka, Czech Republic.
This page was last modified 08.11.2005 19:54. For any comments, please, contact webmaster.