Pages that link to "Item:Q2751375"
From MaRDI portal
The following pages link to Reasoning in expressive description logics (Q2751375):
Displaying 19 items.
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) (Q352965) (← links)
- Structural properties of XPath fragments (Q555765) (← links)
- On reasoning expressions and the nature of deduction rules (Q1262861) (← links)
- Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics (Q1726275) (← links)
- ExpTime tableaux with global caching for hybrid PDL (Q2303231) (← links)
- Rational closure for all description logics (Q2321316) (← 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)
- Practical reasoning for very expressive description logics (Q4487262) (← links)
- (Q4576215) (← links)
- An Efficient Decision Procedure for Imperative Tree Data Structures (Q5200043) (← links)
- Reasoning about Multiple Aspects in Rational Closure for DLs (Q5215373) (← links)
- Rough Pragmatic Description Logic (Q5245313) (← links)
- DESCRIPTION LOGICS OVER LATTICES (Q5291327) (← links)
- Logic Programming (Q5475803) (← links)
- Foundations of Information and Knowledge Systems (Q5898545) (← links)