5 found
  1.  5
    Reasoning on UML class diagrams.Daniela Berardi, Diego Calvanese & Giuseppe De Giacomo - 2005 - Artificial Intelligence 168 (1-2):70-118.
  2.  16
    Data complexity of query answering in description logics.Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini & Riccardo Rosati - 2013 - Artificial Intelligence 195 (C):335-360.
  3.  6
    Knowledge base exchange: The case of OWL 2 QL.Marcelo Arenas, Elena Botoeva, Diego Calvanese & Vladislav Ryzhikov - 2016 - Artificial Intelligence 238 (C):11-62.
    Direct download (2 more)  
    Export citation  
    Bookmark   1 citation  
  4. Libros recientes de pensamiento.Franz Baader, Diego Calvanese, Deborah McGuinness & Daniele Nardi Y. Peter - 2003 - Teorema: International Journal of Philosophy 22 (1-3).
    Export citation  
  5.  38
    Tractability and Intractability of Controlled Languages for Data Access.Camilo Thorne & Diego Calvanese - 2012 - Studia Logica 100 (4):787-813.
    In this paper we study the semantic data complexity of several controlled fragments of English designed for natural language front-ends to OWL (Web Ontology Language) and description logic ontology-based systems. Controlled languages are fragments of natural languages, obtained by restricting natural language syntax, vocabulary and semantics with the goal of eliminating ambiguity. Semantic complexity arises from the formal logic modelling of meaning in natural language and fragments thereof. It can be characterized as the computational complexity of the reasoning problems associated (...)
    Direct download (5 more)  
    Export citation