1![On Prototypes for Winslett’s Semantics of DL-Lite ABox Evolution Evgeny Kharlamov, and Dmitriy Zheleznyakov KRDB Research Centre, Free University of Bozen-Bolzano, Italy Abstract. Evolution of Kn On Prototypes for Winslett’s Semantics of DL-Lite ABox Evolution Evgeny Kharlamov, and Dmitriy Zheleznyakov KRDB Research Centre, Free University of Bozen-Bolzano, Italy Abstract. Evolution of Kn](https://www.pdfsearch.io/img/9ab3dd0cc72b498bd0f34474fa3dc8b4.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2011-06-26 10:22:56
|
---|
2![Practical ABox cleaning in DL-Lite (progress report) Giulia Masotti, Riccardo Rosati, Marco Ruzzi Dipartimento di Informatica e Sistemistica “Antonio Ruberti” Sapienza Universit`a di Roma Via Ariosto 25, IRoma Practical ABox cleaning in DL-Lite (progress report) Giulia Masotti, Riccardo Rosati, Marco Ruzzi Dipartimento di Informatica e Sistemistica “Antonio Ruberti” Sapienza Universit`a di Roma Via Ariosto 25, IRoma](https://www.pdfsearch.io/img/ea697f081df055f2a1ffd78b8447bc73.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2011-06-26 10:24:15
|
---|
3![Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Towards Soundness Preserving Approximation for ABox Reasoning of OWL2 Yuan Ren, Jeff Z. Pan and Yuting Zhao Department of Com Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Towards Soundness Preserving Approximation for ABox Reasoning of OWL2 Yuan Ren, Jeff Z. Pan and Yuting Zhao Department of Com](https://www.pdfsearch.io/img/bb47f4509156f35d4fe7f6088977b9cf.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2010-04-20 14:40:19
|
---|
4![Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family Diego Calvanese Faculty of Computer Science Free University of Bozen-Bolzano Piazza Domenicani 3 Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family Diego Calvanese Faculty of Computer Science Free University of Bozen-Bolzano Piazza Domenicani 3](https://www.pdfsearch.io/img/b24dd14476a3b370569221a88dca23f6.jpg) | Add to Reading ListSource URL: exmo.inria.frLanguage: English - Date: 2008-11-27 08:56:04
|
---|
5![Computed Knowledge Base for Description of Information Resources of Water Spectroscopy Alexander Fazliev1, Alexey Privezentsev1, Dmitry Tsarkov2, and Jonathan Tennyson3 1 Institute of Atmospheric Optics SB RAS, Zuev Squ Computed Knowledge Base for Description of Information Resources of Water Spectroscopy Alexander Fazliev1, Alexey Privezentsev1, Dmitry Tsarkov2, and Jonathan Tennyson3 1 Institute of Atmospheric Optics SB RAS, Zuev Squ](https://www.pdfsearch.io/img/e34aa4a982ccfc621b530451f4234d5e.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2015-02-05 09:51:08
|
---|
6![Checking Inevitability and Invariance Using Description Logic Technology Shoham Ben-David1 , Richard Trefler1 , Dmitry Tsarkov2 and Grant Weddell1 Checking Inevitability and Invariance Using Description Logic Technology Shoham Ben-David1 , Richard Trefler1 , Dmitry Tsarkov2 and Grant Weddell1](https://www.pdfsearch.io/img/75162ef721809df9cba9d3545879195b.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2015-02-05 09:51:05
|
---|
7![Optimized Description Logic Reasoning via Core Blocking Birte Glimm, Ian Horrocks, and Boris Motik Oxford University Computing Laboratory, UK Abstract. State of the art reasoners for expressive description logics, such Optimized Description Logic Reasoning via Core Blocking Birte Glimm, Ian Horrocks, and Boris Motik Oxford University Computing Laboratory, UK Abstract. State of the art reasoners for expressive description logics, such](https://www.pdfsearch.io/img/2d1c6591b2bbc70aa3fc7b75da050522.jpg) | Add to Reading ListSource URL: www.hermit-reasoner.comLanguage: English - Date: 2012-02-03 12:06:02
|
---|
8![Optimised Classification for Taxonomic Knowledge Bases Dmitry Tsarkov and Ian Horrocks University of Manchester, Manchester, UK {tsarkov|horrocks}@cs.man.ac.uk Abstract Optimised Classification for Taxonomic Knowledge Bases Dmitry Tsarkov and Ian Horrocks University of Manchester, Manchester, UK {tsarkov|horrocks}@cs.man.ac.uk Abstract](https://www.pdfsearch.io/img/3dd32248b9e83a33168f0e199cf73f3e.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2015-02-05 09:51:10
|
---|
9![Optimising Terminological Reasoning for Expressive Description Logics Dmitry Tsarkov, Ian Horrocks and Peter F. Patel-Schneider School of Computer Science University of Manchester, UK, and Optimising Terminological Reasoning for Expressive Description Logics Dmitry Tsarkov, Ian Horrocks and Peter F. Patel-Schneider School of Computer Science University of Manchester, UK, and](https://www.pdfsearch.io/img/b640b4d69e732f8e78d7530a64e6ff5e.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2015-02-05 09:51:10
|
---|
10![arXiv:1507.02456v1 [cs.AI] 9 Jul 2015 arXiv:1507.02456v1 [cs.AI] 9 Jul 2015](https://www.pdfsearch.io/img/c2cd6e1861f8fea837757251be113073.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2015-07-09 20:33:34
|
---|