scientific article; zbMATH DE number 1182733
From MaRDI portal
Publication:4400805
zbMath0905.03016MaRDI QIDQ4400805
Maurizio Lenzerini, Daniele Nardi, Diego Calvanese
Publication date: 2 August 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Database theory (68P15) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Other applications of logic (03B80)
Related Items (10)
A knowledge server for reasoning about temporal constraints between classes and instances of events ⋮ Evolving objects in temporal information systems ⋮ Combining answer set programming with description logics for the semantic web ⋮ A tableau algorithm for description logics with concrete domains and general TBoxes ⋮ OSM-Logic: A Fact-Oriented, Time-Dependent Formalization of Object-oriented Systems Modeling ⋮ The correspondence between the concepts in description logics for contexts and formal concept analysis ⋮ Reasoning on UML class diagrams ⋮ Reasoning in description logics by a reduction to disjunctive datalog ⋮ The complexity of finite model reasoning in description logics ⋮ Foundations of Temporal Conceptual Data Models
This page was built for publication:
