The following pages link to Reasoning on UML class diagrams (Q2457652):
Displaying 21 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)
- Combining UML and ontology: an exploratory survey (Q2197800) (← links)
- GeoMergeP: geographic information integration through enriched ontology matching (Q2269089) (← links)
- Evolving objects in temporal information systems (Q2385447) (← links)
- Combining answer set programming with description logics for the semantic web (Q2389666) (← links)
- Reasoning within intuitionistic fuzzy rough description logics (Q2390356) (← links)
- On the Interaction of Existential Rules and Equality Constraints in Ontology Querying (Q2900513) (← links)
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics (Q2946734) (← links)
- The Essence of Functional Programming on Semantic Data (Q2988667) (← links)
- Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models (Q3172878) (← links)
- Foundations of Temporal Conceptual Data Models (Q3637331) (← links)
- Conceptual Modeling for Data Integration (Q3637334) (← links)
- Ontologies and Databases: The DL-Lite Approach (Q3639004) (← links)