Abox - PDFSEARCH.IO - Document Search Engine

Abox
Results: 87

#	Item
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 Add to Reading List Source 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 Add to Reading List Source 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 Add to Reading List Source 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 Add to Reading List Source URL: exmo.inria.fr Language: English - Date: 2008-11-27 08:56:04 Computing Ontology Information science Information Semantic Web Knowledge representation Artificial intelligence Description logic Web Ontology Language Tbox Abox Conjunctive query
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 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:08 Ontology Semantic Web Computing Information science Technical communication World Wide Web Consortium Knowledge representation Spectroscopy Abox Web Ontology Language Tbox Molecule
6	Checking Inevitability and Invariance Using Description Logic Technology Shoham Ben-David1 , Richard Trefler1 , Dmitry Tsarkov2 and Grant Weddell1 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:05 Logic Mathematical logic Model theory Ontology Philosophy Temporal logic Non-classical logic Philosophical logic Tbox Abox Modal logic Kripke structure
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 Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Ontology Proof theory Methods of proof Automated theorem proving Abox Tbox Sequent Method of analytic tableaux Description logic Calculus Blocking
8	Optimised Classification for Taxonomic Knowledge Bases Dmitry Tsarkov and Ian Horrocks University of Manchester, Manchester, UK {tsarkov\|horrocks}@cs.man.ac.uk Abstract Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:10 Ontology Information science Semantic Web Technical communication Knowledge representation Tbox Abox Knowledge representation and reasoning Web Ontology Language Description logic Ordered geometry Concept
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 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:10 Transitive closure FO Abox
10	arXiv:1507.02456v1 [cs.AI] 9 Jul 2015 Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-07-09 20:33:34 Graphical models Mathematics Logic Mathematical logic First-order logic Model theory Predicate logic Abox Eval Bayesian network Ring Markov random field