scientific article; zbMATH DE number 1348742
From MaRDI portal
Publication:4264772
zbMath0924.68184MaRDI QIDQ4264772
Maurizio Lenzerini, Daniele Nardi, Diego Calvanese
Publication date: 10 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Evolving objects in temporal information systems, Reasoning within intuitionistic fuzzy rough description logics, Reasoning on temporal class diagrams: Undecidability results, Type-2 fuzzy description logic, A refined architecture for terminological systems: Terminology = Schema + Views, An epistemic operator for description logics, A Cookbook for Temporal Conceptual Data Modelling with Description Logics, A description logic approach for representing and reasoning on fuzzy object-oriented database models, Construction of fuzzy OWL ontologies from fuzzy EER models: a semantics-preserving approach, Deciding expressive description logics in the framework of resolution, Formalizing fuzzy object-oriented database models using fuzzy ontologies, A resolution-based decision procedure for \({\mathcal{SHOIQ}}\)., Reasoning on UML class diagrams, Data complexity of query answering in expressive description logics via tableaux, Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic, On Importing Knowledge from Ontologies., Foundations of Temporal Conceptual Data Models, Ontologies and Databases: The DL-Lite Approach