Pages that link to "Item:Q4260084"
From MaRDI portal
The following pages link to Representing and reasoning on XML documents: a description logic approach (Q4260084):
Displaying 10 items.
- Certain answers over incomplete XML documents: extending tractability boundary (Q269320) (← links)
- Decidable containment of recursive queries (Q555766) (← links)
- On reasoning about structural equality in XML: a description logic approach (Q555777) (← links)
- Theorem prover approach to semistructured data design (Q609020) (← links)
- On keys and functional dependencies as first-class citizens in description logics (Q928661) (← links)
- Integrity constraints for XML (Q1394804) (← links)
- Reasoning within intuitionistic fuzzy rough description logics (Q2390356) (← links)
- Model checking hybrid logics (with an application to semistructured data) (Q2506828) (← links)
- Testing XML constraint satisfiability (Q2867947) (← links)
- Databases and artificial intelligence (Q6602264) (← links)