<--- Back to Details
First PageDocument Content
Graphical models / Mathematics / Logic / Mathematical logic / First-order logic / Model theory / Predicate logic / Abox / Eval / Bayesian network / Ring / Markov random field
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

arXiv:1507.02456v1 [cs.AI] 9 Jul 2015

Add to Reading List

Source URL: arxiv.org

Download Document from Source Website

File Size: 115,91 KB

Share Document on Facebook

Similar Documents

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

DocID: 1tjLM - View Document

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

DocID: 1thJW - View Document

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

DocID: 1t8CS - View Document

Computing / Ontology / Information science / Information / Semantic Web / Knowledge representation / Artificial intelligence / Description logic / Web Ontology Language / Tbox / Abox / Conjunctive query

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

DocID: 1r5sN - View Document

Ontology / Semantic Web / Computing / Information science / Technical communication / World Wide Web Consortium / Knowledge representation / Spectroscopy / Abox / Web Ontology Language / Tbox / Molecule

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

DocID: 1qCnk - View Document