scientific article; zbMATH DE number 1149440
From MaRDI portal
Publication:4386962
zbMATH Open0894.68095MaRDI QIDQ4386962FDOQ4386962
Authors: Giuseppe De Giacomo, Maurizio Lenzerini 
Publication date: 13 May 1998
Title of this publication is not available (Why is that?)
Recommendations
Database theory (68P15) Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55)
Cited In (9)
- Unification of concept terms in description logics
- How to tell easy from hard: complexities of conjunctive query entailment in extensions of \(\mathcal{ALC}\)
- Reasoning within intuitionistic fuzzy rough description logics
- Title not available (Why is that?)
- Expressiveness of concept expressions in first-order description logics
- EXPtime tableaux for ALC
- Querying regular graph patterns
- Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\)
- A refined architecture for terminological systems: Terminology = Schema + Views
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4386962)
