The following pages link to (Q2751375):
Displaying 9 items.
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) (Q352965) (← links)
- Structural properties of XPath fragments (Q555765) (← links)
- ExpTime tableaux with global caching for hybrid PDL (Q2303231) (← links)
- Path constraints in semistructured data (Q2456353) (← links)
- Reasoning on UML class diagrams (Q2457652) (← links)
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics (Q2946734) (← links)
- Querying the Unary Negation Fragment with Regular Path Expressions. (Q3305361) (← links)
- Ontologies and Databases: The DL-Lite Approach (Q3639004) (← links)
- An Efficient Decision Procedure for Imperative Tree Data Structures (Q5200043) (← links)