Elena Botoeva and Logic - Free people check

(1 - 16 from 16

)

Colloquium by Elena Botoeva | CAIR

www.cair.za.net

Bolzano. ABSTRACT: Classical logics (and hence Description Logics) are ...

[ v1] Query-Based Entailment and Inseparability for ALC...

arxiv.org

Elena Botoeva Carsten Lutz Vladislav Ryzhikov Frank Wolter Michael Zakharyaschev. Bookmark (what is this?) Computer Science - Logic in Computer Science.

CiteSeerX — E.: Exchanging description logic knowledge bases

citeseerx.ist.psu.edu

author = {Marcelo Arenas and Elena Botoeva and Diego Calvanese and Vladislav Ryzhikov and Evgeny Sherkhonov}, title = {E.: Exchanging description logic ...

Abstract | IJCAI

www.ijcai.org

When Are Description Logic Knowledge Bases Indistinguishable? Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael ...

Inseparability and Conservative Extensions of Description ...

arxiv.org

Title:Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. Authors:Elena Botoeva, Boris Konev, Carsten Lutz, ...

Description Logic Knowledge Base Exchange | SpringerLink

link.springer.com

Data exchange is a field of database theory that deals with transferring data between differently structured databases, with motivation coming from industry...

DBLife: Representability in DL-Lite_R Knowledge Base Exchange

dblife.cs.wisc.edu

Source: Description Logics. Year: Authors: Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov. Download ...

Elena Botoeva's Home Pagewww.inf.unibz.it › ~ebotoeva

www.doc.ic.ac.uk

Research. Interests. Description Logics, Query Answering, Query Rewriting, Ontology-Based Data Access; Data Exchange, Knowledge Base Exchange, ...

December – Association for Logic Programming

www.cs.nmsu.edu

Majed Ayyad, Elena Botoeva, Cristina Civili, and Ario Santoso.

Arenas

www.aaai.org

Exchanging Description Logic Knowledge Bases. Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov ...

CEUR-WS.org/Vol Description Logics 2010

cs.uwaterloo.ca

Workshop Proceedings DL2010

Editorial, December – Association for Logic Programming

www.cs.nmsu.edu

Finally, we have a report from RR2012 (Doctoral consortium and summer school) by Majed Ayyad, Elena Botoeva, Cristina Civili, and Ario ...

Description Logics 2010

cs.uwaterloo.ca

Description Logics 2010: Waterloo, Canada

KR Best Paper Awards | Vienna Summer of Logic 2014

vsl2014.at

Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter and Michael Zakharyaschev. for their paper on. Query Inseparability for ...

Main and AICS track | IJCAI 2013

ijcai13.org

Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov Temporal Description Logic for Ontology-Based Data Access Alessandro Artale, Roman ...

The Description Logics Workshop, DL 2011

dl.kr.org

Description Logics 2011: Barcelona, Spain

All web results to the name "Elena Botoeva"

Related search requests for Elena Botoeva

Diego Calvanese
Marcelo Arenas
Pascal Richter

Roman Kontchakov
Alessandro Artale
Vladislav Ryzhikov

Victor Dalmau
Benjamin Cogrel
Michael Zakharyaschev

People
Forename "Elena" (33670)
Name "Botoeva" (1)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Elena Botoeva and Logic Free People Check