Publication:2751375
From MaRDI portal
zbMath0992.03036MaRDI QIDQ2751375
Maurizio Lenzerini, Daniele Nardi, Diego Calvanese, Giuseppe De Giacomo
Publication date: 21 October 2001
description logics; knowledge bases; finite model reasoning; propositional dynamic logics; reasoning on TBoxes; unrestricted model reasoning
68T27: Logic in artificial intelligence
68T30: Knowledge representation
03B70: Logic in computer science
Related Items
An Efficient Decision Procedure for Imperative Tree Data Structures, PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\), Structural properties of XPath fragments, ExpTime tableaux with global caching for hybrid PDL, Path constraints in semistructured data, Reasoning on UML class diagrams, A Cookbook for Temporal Conceptual Data Modelling with Description Logics, Ontologies and Databases: The DL-Lite Approach