Reasoning on UML class diagrams

DOI10.1016/J.ARTINT.2005.05.003zbMATH Open1132.68747OpenAlexW2131566236WikidataQ64360094 ScholiaQ64360094MaRDI QIDQ2457652FDOQ2457652

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 complexitydescription logicsknowledge representationCASE toolsUML class diagrams

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Propositional dynamic logic of regular programs
• Resolution theorem proving
• Title not available (Why is that?)
• Attributive concept descriptions with complements
• Acquisition and validation of complex object database schemata supporting multiple inheritance
• An epistemic operator for description logics
• Reasoning in expressive description logics
• Title not available (Why is that?)
• Optimizing description logic subsumption
• Title not available (Why is that?)
• Title not available (Why is that?)
• An overview of tableau algorithms for description logics
• Tableaux and related methods
• A formal approach to object-oriented software engineering
• Handbook of automated reasoning. In 2 vols
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (24)

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

Uses Software

• FaCT++
• Racer
• KL-ONE

   Recommendations

• Title not available (Why is that?) 👍 👎
• Querying UML Class Diagrams 👍 👎
• Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory 👍 👎
• Reasoning on temporal class diagrams: Undecidability results 👍 👎
• Title not available (Why is that?) 👍 👎

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2457652)