scientific article; zbMATH DE number 1149440

MaRDI QIDQ4386962zbMATH OpenFDO

Authors Giuseppe De Giacomo, Maurizio Lenzerini

Publication date 13 May 1998

zbMATH Keywords

modal mu-calculus

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1348742
• Description logics in knowledge representation
• scientific article; zbMATH DE number 1531967
• scientific article; zbMATH DE number 1182733

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
• scientific article; zbMATH DE number 1983242 (Why is no real title available?)
• 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 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)