Representing and reasoning on XML documents: a description logic approach

DOI10.1093/logcom/9.3.295zbMath0938.68842OpenAlexW2016948832MaRDI QIDQ4260084

Maurizio Lenzerini, Giuseppe De Giacomo, Diego Calvanese

Publication date: 21 June 2000

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/9.3.295

zbMATH Keywords

automated reasoningknowledge representationdescription logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (9)

Certain answers over incomplete XML documents: extending tractability boundary ⋮ Reasoning within intuitionistic fuzzy rough description logics ⋮ Theorem prover approach to semistructured data design ⋮ Integrity constraints for XML ⋮ On keys and functional dependencies as first-class citizens in description logics ⋮ Decidable containment of recursive queries ⋮ On reasoning about structural equality in XML: a description logic approach ⋮ Model checking hybrid logics (with an application to semistructured data) ⋮ Testing XML constraint satisfiability

This page was built for publication: Representing and reasoning on XML documents: a description logic approach