scientific article
From MaRDI portal
Publication:2751375
zbMath0992.03036MaRDI QIDQ2751375
Maurizio Lenzerini, Daniele Nardi, Diego Calvanese, Giuseppe De Giacomo
Publication date: 21 October 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
description logicsknowledge basesfinite model reasoningpropositional dynamic logicsreasoning on TBoxesunrestricted model reasoning
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70)
Related Items (9)
PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) ⋮ Querying the Unary Negation Fragment with Regular Path Expressions. ⋮ A Cookbook for Temporal Conceptual Data Modelling with Description Logics ⋮ Path constraints in semistructured data ⋮ Reasoning on UML class diagrams ⋮ Structural properties of XPath fragments ⋮ An Efficient Decision Procedure for Imperative Tree Data Structures ⋮ ExpTime tableaux with global caching for hybrid PDL ⋮ Ontologies and Databases: The DL-Lite Approach
This page was built for publication:
