1![Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, TBox Classification in Parallel: Design and First Evaluation Mina Aslani and Volker Haarslev Concordia University, Montreal, Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, TBox Classification in Parallel: Design and First Evaluation Mina Aslani and Volker Haarslev Concordia University, Montreal,](https://www.pdfsearch.io/img/36e4e9b64c63c662705765eb85bf0604.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2010-04-20 14:40:19
|
---|
2![Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Structure Preserving TBox Repair Using Defaults Thomas Scharrenbach1 , Rolf Gr¨ utter1 , Bettina Waldvogel1 , and Abraham Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Structure Preserving TBox Repair Using Defaults Thomas Scharrenbach1 , Rolf Gr¨ utter1 , Bettina Waldvogel1 , and Abraham](https://www.pdfsearch.io/img/9e03da8d2303935438df4d13acbcbf1d.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2010-06-04 12:22:44
|
---|
3![Soundness Preserving Approximation for TBox Reasoning in R Ren Yuan, Jeff Z. Pan and Yuting Zhao Dept. of Computing Science, University of Aberdeen King’s College, Aberdeen AB24 3FX, UK Soundness Preserving Approximation for TBox Reasoning in R Ren Yuan, Jeff Z. Pan and Yuting Zhao Dept. of Computing Science, University of Aberdeen King’s College, Aberdeen AB24 3FX, UK](https://www.pdfsearch.io/img/83cf683f1ffcad64628df4d7633f4c17.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2009-07-07 04:46:34
|
---|
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![Chapter 6 AN OWL-DL IMPLEMENTATION OF GOLD An Ontology for the Semantic Web Scott Farrar∗ and D. Terence Langendoen∗∗ ∗ Department of Linguistics Chapter 6 AN OWL-DL IMPLEMENTATION OF GOLD An Ontology for the Semantic Web Scott Farrar∗ and D. Terence Langendoen∗∗ ∗ Department of Linguistics](https://www.pdfsearch.io/img/156f0fb286324e70140624e5375b4f08.jpg) | Add to Reading ListSource URL: dingo.sbs.arizona.eduLanguage: English - Date: 2009-06-06 20:15:54
|
---|
7![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
|
---|
8![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
|
---|
9![Structured Objects in OWL: Representation and Reasoning Boris Motik† Bernardo Cuenca Grau† Ulrike Sattler‡ Structured Objects in OWL: Representation and Reasoning Boris Motik† Bernardo Cuenca Grau† Ulrike Sattler‡](https://www.pdfsearch.io/img/249de4dbbaadf286722d6a5604e010e3.jpg) | Add to Reading ListSource URL: www.hermit-reasoner.comLanguage: English - Date: 2012-02-03 12:06:02
|
---|
10![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
|
---|