Filtros de búsqueda

Lista de obras de

A Cookbook for Temporal Conceptual Data Modelling with Description Logics

artículo científico publicado en 2014

A Decidable Very Expressive Description Logic for Databases

artículo científico publicado en 2017

Complexity of Reasoning over Temporal Data Models

artículo científico publicado en 2010

DL-Lite with Temporalised Concepts, Rigid Axioms and Roles

artículo científico publicado en 2009

Full Satisfiability of UML Class Diagrams

Generating Preview Instances for the Face Validation of Entity-Relationship Schemata: The Acyclic Case

article by Maria Amalfi et al published 2011 in Lecture Notes in Computer Science

OCL-Lite: Finite reasoning on UML/OCL conceptual schemas

Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models

artículo científico publicado en 2011

The Complexity of Clausal Fragments of LTL

artículo científico publicado en 2013

Dominio Público Uruguay está sostenido por:

Acerca de Dominio Público Uruguay

Ayuda