The following pages link to Reasoning on UML class diagrams (Q2457652):
Displaying 11 items.
- Towards more expressive ontology languages: the query answering problem (Q359987) (← links)
- Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots (Q414848) (← links)
- Using formal methods with SysML in aerospace design and engineering (Q434438) (← links)
- Reasoning on temporal class diagrams: Undecidability results (Q862829) (← links)
- Data complexity of query answering in expressive description logics via tableaux (Q945056) (← links)
- Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN (Q983197) (← links)
- Reasoning with rough description logics: An approximate concepts approach (Q1010135) (← links)
- Reasoning within expressive fuzzy rough description logics (Q1043323) (← links)
- On the complexities of consistency checking for restricted UML class diagrams (Q1044829) (← links)
- GeoMergeP: geographic information integration through enriched ontology matching (Q2269089) (← links)
- Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models (Q3172878) (← links)
