Naposledy ...

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!

Výsledky - Publikace

Rok 2008 Rok 2007 Rok 2006 Rok 2005 Rok 2004 Roky 2004-2008
 
The list of publications in RDF format

 
 
2006
0
0
1
1 / 0
4
2
1
6 / 0
5
5
0
8 / 1
34
28
17
74 / 36
0
0
0
6 / 0
7
3
1
11 / 5
0
0
1
1 / 1
celkem
57
41
24
111 / 45


Bartoň Stanislav, Zezula Pavel
Designing and Evaluating an Index for Graph Structured Data
In: Proceedings of ICDM MCD 2006, IEEE Press, Hong Kong, China, 2006, pp. 1-5.
Presented at: The Second International Workshop on Mining Complex Data - MCD'06 - In Conjunction with IEEE ICDM'06, 18.12.-22.12.2006, Hong Kong, China.
Paper in pdf format
See abstract
Bartoň Stanislav, Zezula Pavel
Mining Citation Graphs Employing an Index for Graph Structured Data
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 1-9. ISBN: 80-903298-7-X
Presented at: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu - Seminář projektu programu Informační společnost, 5.10.-7.10.2006, Zadov, Czech Republic.
Paper in pdf format
Bartoň Stanislav, Zezula Pavel
rho-Index - Designing and Evaluating an Indexing Structure for Graph Structured Data
Technical Report: FIMU-RS-2006-07, FI MU, Brno, 2006, 24 p.
Bartoň Stanislav
Searching Indirect Relationships in Citation Analysis Using an Index for Graph Structured Data
In: 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science MEMICS 2006, 2006, pp. 9-16.
Presented at: 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science MEMICS 2006, 27.10.-29.10.2006, Mikulov, Czech Republic.
Paper in pdf format
See abstract
Dokulil Jiří, Yaghob Jakub, Zavoral Filip
Infrastruktura pro dotazování nad semantickými daty
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 10-26. ISBN: 80-903298-7-X
Presented at: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu - Seminář projektu programu Informační společnost, 5.10.-7.10.2006, Zadov, Czech Republic.
Dokulil Jiří
Použití relačních databází pro vyhodnocování SPARQL dotazů
In: Proceedings of ITAT 2006, Information Technologies - Applications and Theory, 2006. ISBN: 80-969184-4-3
Presented at: ITAT 2006, 26.9.-1.10.2006, Chata Kosodrevina, Bystrá dolina, Nízke Tatry, Slovakia.
Paper in pdf format
See abstract
Dokulil Jiří
Evaluation of SPARQL queries using relational databases
In: Proceedings of 5th International Semantic Web Conference, ISWC, 2006, (Ed. Cruz I.), LNCS 4273, Springer Verlag, Athens, FA, USA, 2006, pp. 972-973.
Eckhardt Alan, Vojtáš Peter
Towards ontology language handling imperfection
In: Proceeding of the 1st Workshop on Intelligent and Knowledge oriented Technologies, 2006, pp. 124-125.
Presented at: 1st Workshop on Intelligent and Knowledge oriented Technologies, 28.11.-29.11.2006, Bratislava, Slovakia.
Galamboš Leo, Lánský Jan, Chernik K.
Compression of Semistructured Documents
In: International Enformatika Conference IEC 2006, Enformatika, Transactions on Engieering, Computing and Technology, 2006, pp. 222-227.
Paper in pdf format
See abstract
Kudová Petra
Learning with Regularization Networks in Bang
Presented at: TAM06, 14.6.-16.6.2006, Barcelona, Spain.
Paper in pdf format
See abstract
Kudová Petra
Learning Algorithms Based on Regularization
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 52-59. ISBN: 80-903298-7-X
Presented at: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu - Seminář projektu programu Informační společnost, 5.10.-7.10.2006, Zadov, Czech Republic.
Lánský Jan, Galamboš Leo, Chernik K.
Komprese webového uložiště
In: Proceedings of ITAT 2006, Information Technologies - Applications and Theory, 2006. ISBN: 80-969184-4-3
Presented at: ITAT 2006, 26.9.-1.10.2006, Chata Kosodrevina, Bystrá dolina, Nízke Tatry, Slovakia.
Paper in pdf format
See abstract
Linková Zdeňka, Nedbal Radim
VirGIS Data in Semantic Web Environment
In: Proceedings of SOFSEM 2006, Volume: II, ICS AS CR, Prague, 2006, pp. 120-127. ISBN: 80-903298-4-5
Presented at: SOFSEM 2006: Theory and Practice of Computer Science, 21.1.-27.1.2006, Měřín, Czech Republic.
Paper in pdf format
See abstract
Linková Zdeňka
Ontology-based Integration System
In: Doktorandský den 06, (Ed. F. Hakl), MATFYZPRESS, 2006, pp. 57-63. ISBN: 80-86732-87-8
Presented at: Doktorandský den 06, 20.9.-22.9.2006, Monínec, Sedlec-Prčice, Czech Republic.
Paper in pdf format
See abstract
Linková Zdeňka
European Summer School in Information Retrieval ESSIR 2005
Technical Report: V-949, ICS AS CR, Prague, 2006, 8 p.
Paper in pdf format
See abstract
Linková Zdeňka
Integrace dat v prostředí Sémantického Webu
In: Sborník workshopu doktorandů FJFI oboru Matematické inženýrství, (Ed. P. Ambrož, Z. Masáková), 2006, pp. 89-98.
Presented at: Doktorandské dny 2006, 10.11.2006 and 24.11.2006, Prague, Czech Republic.
Paper in pdf format
See abstract
Mlýnková Irena, Toman Kamil, Pokorný Jaroslav
Statistical Analysis of Real XML Data Collections
Technical Report: 2006/5, MFF UK, Prague, 2006, 39 p.
Mlýnková Irena, Toman Kamil, Pokorný Jaroslav
Statistical Analysis of Real XML Data Collections
In: Proceeding of the 13th International Conference on Management of Data - COMAD 2006, (Ed. Lakshmanan, L.L., Roy, P., Tung, A.), Tata McGraw Hill Publ. Comp., Delhi, 2006, pp. 20-31.
Presented at: 13th International Conference on Management of Data - COMAD 2006, 14.12.-16.12.2006, Delhi, India.
Paper in pdf format
See abstract
Nečaský Martin
Conceptual Modeling for XML: A Survey
Technical Report: 2006-3, Dep. of Software Engineering, Faculty of Mathematics and Physics, Charles University, Prague, 2006, 54 p.
Paper in pdf format
See abstract
Nečaský Martin
Conceptual Modeling for XML: A Survey
In: Proceedings of the Dateso 2006, CEUR-WS, 2006, pp. 40-53.
Presented at: Dateso 2006 Annual International Workshop on DAtabases, TExts, Specifications and Objects, 26.4.-28.4.2006, Desná - Černá Říčka, Czech Republic.
Paper in pdf format
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.
Paper in pdf format
See abstract
Nečaský Martin
XSEM - A Conceptual Model for XML Data
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 60-69. ISBN: 80-903298-7-X
Presented at: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu - Seminář projektu programu Informační společnost, 5.10.-7.10.2006, Zadov, Czech Republic.
Paper in pdf format
See abstract
Nedbal Radim
General Relational Data Model with Preferences
In: Doktorandský den 06, (Ed. F. Hakl), MATFYZPRESS, 2006, pp. 78-84. ISBN: 80-86732-87-8
Presented at: Doktorandský den 06, 20.9.-22.9.2006, Monínec, Sedlec-Prčice, Czech Republic.
Paper in pdf format
See abstract
Nedbal Radim
Model of Preferences for the Relational Data Model
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 70-77. ISBN: 80-903298-7-X
Presented at: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu - Seminář projektu programu Informační společnost, 5.10.-7.10.2006, Zadov, Czech Republic.
Nedbal Radim
Model Preferences over the Relational Data Model
In: Sborník workshopu doktorandů FJFI oboru Matematické inženýrství, (Ed. P. Ambrož, Z. Masáková), 2006, pp. 119-129.
Presented at: Doktorandské dny 2006, 10.11.2006 and 24.11.2006, Prague, Czech Republic.
Neruda Roman, Slušný Stanislav
Evolutionary Learning of Multi-layer Perceptron Neural Networks
In: Proceedings of ITAT 2006, Information Technologies - Applications and Theory, 2006, pp. 125-130. ISBN: 80-969184-4-3
Presented at: ITAT 2006, 26.9.-1.10.2006, Chata Kosodrevina, Bystrá dolina, Nízke Tatry, Slovakia.
Paper in html format
See abstract
Nováček Vít, Smrž Pavel
Ontology Acquisition for Automatic Building of Scientific Portals
In: Proceedings of SOFSEM 2006: Theory and Practice of Computer Science, LNCS 3831, Springer-Verlag, Berlin, 2006, pp. 493-500. ISBN: 3-540-31198-X
Presented at: SOFSEM 2006: Theory and Practice of Computer Science, 21.1.-27.1.2006, Měřín, Czech Republic.
Paper in pdf format
See abstract
Nováček Vít
Motivations of Extensive Incorporation of Uncertainty in OLE Ontologies
In: Proceedings of SOFSEM 2006, Volume: II, ICS AS CR, Prague, 2006, pp. 145-154. ISBN: 80-903298-4-5
Presented at: SOFSEM 2006: Theory and Practice of Computer Science, 21.1.-27.1.2006, Měřín, Czech Republic.
Paper in pdf format
See abstract
Nováček Vít, Smrž Pavel
Empirical Merging of Ontologies - A Proposal of Universal Uncertainty Representation Framework
In: The Semantic Web: Research and Applications - Proceedings of ESWC`06 - 3rd European Semantic Web Conference, LNCS 4011, Springer-Verlag, Berlin, 2006, pp. 65-79. ISBN: 3-540-34544-2
Presented at: ESWC`06 - 3rd European Semantic Web Conference, 11.6.-14.6.2006, Budva, Montenegro.
Paper in pdf format
See abstract
Nováček Vít, Smrž Pavel, Pomikálek Jan
Text Mining for Semantic Relations as a Support Base of a Scientific Portal Generator
In: Proceedings of LREC 2006 - 5th International Conference on Language Resources and Evaluation, ELRA, Paris, 2006, pp. 1338-1343. ISBN: 2-9517408-2-4
Presented at: LREC 2006 - 5th International Conference on Language Resources and Evaluation, 24.5.-26.5.2006, Genoa, Italy.
Paper in pdf format
See abstract
Nováček Vít
Ontology Learning
In: Diploma Thesis, Faculty of Informatics, Masaryk University, Brno, 2006, pp. 1-65.
Paper in pdf format
See abstract
Nováček Vít
Ontology Acquisition Supported by Imprecise Conceptual Refinement - New Results and Reasoning Perspectives
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 91-101. ISBN: 80-903298-7-X
Presented at: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu - Seminář projektu programu Informační společnost, 5.10.-7.10.2006, Zadov, Czech Republic.
Paper in pdf format
See abstract
Řimnáč Martin
Transforming Current Web Sources for Semantic Web Usage
In: Proceedings of SOFSEM 2006, Volume: II, ICS AS CR, Prague, 2006, pp. 155-165. ISBN: 80-903298-4-5
Presented at: SOFSEM 2006: Theory and Practice of Computer Science, 21.1.-27.1.2006, Měřín, Czech Republic.
Paper in pdf format
See abstract
Řimnáč Martin
Odhadování struktury a asociativní úložiště dat
In: Doktorandský den 06, (Ed. F. Hakl), MATFYZPRESS, 2006, pp. 135-142. ISBN: 80-86732-87-8
Presented at: Doktorandský den 06, 20.9.-22.9.2006, Monínec, Sedlec-Prčice, Czech Republic.
Paper in pdf format
See abstract
Řimnáč Martin
Asociativní úložiště dat v prostředí sémantického webu
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 102-109. ISBN: 80-903298-7-X
Presented at: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu - Seminář projektu programu Informační společnost, 5.10.-7.10.2006, Zadov, Czech Republic.
Paper in pdf format
See abstract
Řimnáč Martin
Data Structure Estimation for RDF Oriented Repository Building (Extended Abstract)
In: Frontiers in Mobile and Web Computing, (Ed. Baroli L., Abderazek B.A., Grill T., Nguyen T.M., Tjondronegoro D.), Österreichische Computer Gesselschaft, Wien, 2006, pp. 681-685. ISBN: 3-85403-216-1
Presented at: The Fourth International Conference on Advances in Mobile Computing & Multimedia (MoMM2006), 4.12.-6.12.2006, Yogyakarta, Indonesia.
Paper in pdf format
See abstract
Špánek Roman
RollingBall: Energy and QoS Aware Protocol for Wireless Sensor Networks
In: Proceedings of SOFSEM 2006, Volume: II, ICS AS CR, Prague, 2006, pp. 166-173. ISBN: 80-903298-4-5
Presented at: SOFSEM 2006: Theory and Practice of Computer Science, 21.1.-27.1.2006, Měřín, Czech Republic.
Paper in pdf format
See abstract
Špánek Roman
Security Model Based on Virtual Organizations for Distributed Environments
In: Doktorandský den 06, (Ed. F. Hakl), MATFYZPRESS, 2006, pp. 164-171. ISBN: 80-86732-87-8
Presented at: Doktorandský den 06, 20.9.-22.9.2006, Monínec, Sedlec-Prčice, Czech Republic.
Paper in pdf format
Špánek Roman, Tůma Miroslav
Sdílení dat v prostředí s nehomogenními skupinami uživatelů
In: Proceedings of ITAT 2006, Information Technologies - Applications and Theory, 2006. ISBN: 80-969184-4-3
Presented at: ITAT 2006, 26.9.-1.10.2006, Chata Kosodrevina, Bystrá dolina, Nízke Tatry, Slovakia.
Paper in pdf format
See abstract
Špánek Roman
Security, Privacy and Trust in (Semantic)Web
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 114-122. ISBN: 80-903298-7-X
Presented at: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu - Seminář projektu programu Informační společnost, 5.10.-7.10.2006, Zadov, Czech Republic.
See abstract
Špánek Roman
Secure Grid-based Computing with Social-Network Based Trust Management in the (Semantic) Web
In: Frontiers in Mobile and Web Computing, (Ed. Baroli L., Abderazek B.A., Grill T., Nguyen T.M., Tjondronegoro D.), Österreichische Computer Gesselschaft, Wien, 2006, pp. 663-667. ISBN: 3-85403-216-1
Presented at: The Fourth International Conference on Advances in Mobile Computing & Multimedia (MoMM2006), 4.12.-6.12.2006, Yogyakarta, Indonesia.
Paper in pdf format
See abstract
Špánek Roman
Web Search Engines and Linear Algebra
Technical Report: V-974, ICS AS CR, Prague, 2006, 7 p.
Paper in pdf format
Štuller Július, Linková Zdeňka
Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006. ISBN: 80-903298-7-X
Paper in pdf format
See abstract
Toman Kamil, Mlýnková Irena
XML Data - The Current State of Affairs
In: Proceedings of XML Prague 2006 conference, ITI Series, MFF UK, 2006, pp. 87-102.
Presented at: XML Prague 2006, 17.6.-18.6.2006, Prague, Czech Republic.
Paper in pdf format
See abstract
Toman Kamil, Mlýnková Irena
Statistics on The Real XML Data
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 123-130. ISBN: 80-903298-7-X
Presented at: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu - Seminář projektu programu Informační společnost, 5.10.-7.10.2006, Zadov, Czech Republic.
This page was last modified 08.11.2005 19:54. For any comments, please, contact webmaster.