Reasoning on UML class diagrams

DOI10.1016/j.artint.2005.05.003zbMath1132.68747OpenAlexW2131566236WikidataQ64360094 ScholiaQ64360094MaRDI QIDQ2457652

Giuseppe De Giacomo, Daniela Berardi, Diego Calvanese

Publication date: 23 October 2007

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2005.05.003

zbMATH Keywords

verificationcomputational complexityknowledge representationdescription logicsCASE toolsUML class diagrams

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of software (68N99)

Related Items (21)

On the Interaction of Existential Rules and Equality Constraints in Ontology Querying ⋮ Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models ⋮ Evolving objects in temporal information systems ⋮ Combining answer set programming with description logics for the semantic web ⋮ Reasoning within intuitionistic fuzzy rough description logics ⋮ Reasoning on temporal class diagrams: Undecidability results ⋮ Towards more expressive ontology languages: the query answering problem ⋮ A Cookbook for Temporal Conceptual Data Modelling with Description Logics ⋮ Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots ⋮ Combining UML and ontology: an exploratory survey ⋮ Using formal methods with SysML in aerospace design and engineering ⋮ The Essence of Functional Programming on Semantic Data ⋮ Data complexity of query answering in expressive description logics via tableaux ⋮ GeoMergeP: geographic information integration through enriched ontology matching ⋮ Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN ⋮ Reasoning with rough description logics: An approximate concepts approach ⋮ Foundations of Temporal Conceptual Data Models ⋮ Conceptual Modeling for Data Integration ⋮ Ontologies and Databases: The DL-Lite Approach ⋮ Reasoning within expressive fuzzy rough description logics ⋮ On the complexities of consistency checking for restricted UML class diagrams

Uses Software

• FaCT++
• Racer
• KL-ONE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Attributive concept descriptions with complements
• An epistemic operator for description logics
• Propositional dynamic logic of regular programs
• Acquisition and validation of complex object database schemata supporting multiple inheritance
• A formal approach to object-oriented software engineering
• Optimizing description logic subsumption
• An overview of tableau algorithms for description logics

This page was built for publication: Reasoning on UML class diagrams