scientific article; zbMATH DE number 1149440
From MaRDI portal
Publication:4386962
zbMath0894.68095MaRDI QIDQ4386962
Maurizio Lenzerini, Giuseppe De Giacomo
Publication date: 13 May 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Database theory (68P15) Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55)
Related Items (6)
Querying Regular Graph Patterns ⋮ Reasoning within intuitionistic fuzzy rough description logics ⋮ A refined architecture for terminological systems: Terminology = Schema + Views ⋮ Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\) ⋮ EXPtime tableaux for ALC ⋮ Expressiveness of concept expressions in first-order description logics
This page was built for publication:
