Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Object-oriented software engineering
Object-oriented software engineering
Attributive concept descriptions with complements
Artificial Intelligence
Coherent models for object-oriented analysis
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Conceptual database design: an Entity-relationship approach
Conceptual database design: an Entity-relationship approach
Object-oriented modeling and design
Object-oriented modeling and design
On taxonomic reasoning in conceptual design
ACM Transactions on Database Systems (TODS)
Boosting the correspondence between description logics and propositional dynamic logics
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
UML distilled: applying the standard object modeling language
UML distilled: applying the standard object modeling language
Reasoning in description logics
Principles of knowledge representation
On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Description logics for conceptual data modeling
Logics for databases and information systems
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Description Logics in Data Management
IEEE Transactions on Knowledge and Data Engineering
An Industrial Strength Description Logics-Based Configurator Platform
IEEE Intelligent Systems
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
Structured Objects: Modeling and Reasoning
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
The Metamodelling Language Calculus: Foundation Semantics for UML
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Engineering Modelling Languages: A Precise Meta-Modelling Approach
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Towards a formalization of UML class structures in Z
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Fundamentals of Cardinality Constraints
ER '92 Proceedings of the 11th International Conference on the Entity-Relationship Approach: Entity-Relationship Approach
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Handbook of automated reasoning
Handbook of automated reasoning
Reasoning in expressive description logics
Handbook of automated reasoning
Reasoning with UML Class Diagrams
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
The description logic handbook
The description logic handbook
Implementation and optimization techniques
The description logic handbook
Description logics for databases
The description logic handbook
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
Decidable reasoning in terminological knowledge representation systems
Journal of Artificial Intelligence Research
A correspondence theory for terminological logics: preliminary report
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Identification constraints and functional dependencies in description logics
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
High performance reasoning with very large knowledge bases: a practical case study
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Foundations of the unified modeling language
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Enhancing Comprehension of Ontologies and Conceptual Models Through Abstractions
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Decidable Reasoning in UML Schemas with Constraints
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
A Formal Descriptive Semantics of UML
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Explanation in the DL-Lite Family of Description Logics
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
Verifying UML/OCL Operation Contracts
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Foundations of Temporal Conceptual Data Models
Conceptual Modeling: Foundations and Applications
Conceptual Modeling for Data Integration
Conceptual Modeling: Foundations and Applications
Automatic Extraction of Ontologies Wrapping Relational Data Sources
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Discovering functional dependencies for multidimensional design
Proceedings of the ACM twelfth international workshop on Data warehousing and OLAP
On the complexities of consistency checking for restricted UML class diagrams
Theoretical Computer Science
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Verification and validation of declarative model-to-model transformations through invariants
Journal of Systems and Software
A semantic-based architecture for supporting geographic e-services
Proceedings of the 3rd international conference on Theory and practice of electronic governance
Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Is It Important to Explain a Theorem? A Case Study on UML and $\mathcal{ALCQI}$
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
The DL-lite family and relations
Journal of Artificial Intelligence Research
Expressive fuzzy description logics over lattices
Knowledge-Based Systems
From UML/OCL to SBVR specifications: A challenging transformation
Information Systems
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
On relating heterogeneous elements from different ontologies
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
An approach to testing conceptual schemas
Data & Knowledge Engineering
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
Towards automated reasoning on ORM schemes mapping ORM into the DLRidf description logic
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Reasoning over extended ER models
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
Science of Computer Programming
Verification-driven slicing of UML/OCL models
Proceedings of the IEEE/ACM international conference on Automated software engineering
Towards Class Diagram Algebra for Composing Data Models
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Dependencies between ontology design parameters
International Journal of Metadata, Semantics and Ontologies
Editorial: Using ontologies with UML class-based modeling: The TwoUse approach
Data & Knowledge Engineering
A framework for multidimensional design of data warehouses from ontologies
Data & Knowledge Engineering
Modelling and reasoning in metamodelling enabled ontologies
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Short communication: Reasoning with part-part relations in a description logic
Knowledge-Based Systems
Complexity of reasoning over temporal data models
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Full satisfiability of UML class diagrams
ER'10 Proceedings of the 29th international conference on Conceptual modeling
AuRUS: automated reasoning on UML/OCL schemas
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Specialization and validation of statecharts in OWL
EKAW'10 Proceedings of the 17th international conference on Knowledge engineering and management by the masses
Towards hybrid reasoning for verifying and validating multilevel models
EKAW'10 Proceedings of the 17th international conference on Knowledge engineering and management by the masses
A framework for reviewing domain specific conceptual models
Computer Standards & Interfaces
Data & Knowledge Engineering
Building a global normalized ontology for integrating geographic data sources
Computers & Geosciences
Formalizing fuzzy spatial data model for integrating heterogeneous spatial data
Proceedings of the 2nd International Conference on Computing for Geospatial Research & Applications
Scalable analysis of conceptual data models
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Extensive validation of OCL models by integrating SAT solving into USE
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
CDDiff: semantic differencing for class diagrams
Proceedings of the 25th European conference on Object-oriented programming
Proceedings of the 25th European conference on Object-oriented programming
MEDI'11 Proceedings of the First international conference on Model and data engineering
Reducing multiplicities in class diagrams
Proceedings of the 14th international conference on Model driven engineering languages and systems
Logic-based model-level software development with F-OML
Proceedings of the 14th international conference on Model driven engineering languages and systems
Tailoring temporal description logics for reasoning over temporal conceptual models
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
Evaluation of tools and slicing techniques for efficient verification of UML/OCL class diagrams
Advances in Software Engineering
Enhancing identification mechanisms in UML class diagrams with meaningful keys
Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innovation and Leadership in a Diverse, Multidisciplinary Environment
Conjunctive query answering in the description logic SH using knots
Journal of Computer and System Sciences
Verification and Validation of UML Conceptual Schemas with OCL Constraints
ACM Transactions on Software Engineering and Methodology (TOSEM)
On the interaction of inter-relationship constraints
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
Data & Knowledge Engineering
Secrecy UML method for model transformations
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Modeling the evolution of objects in temporal information systems
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Consistency checking algorithms for restricted UML class diagrams
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Part-Whole relations in object-role models
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part II
Verifying and validating multi-layered models with OWL FA toolkit
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
Using formal methods with SysML in aerospace design and engineering
Annals of Mathematics and Artificial Intelligence
Joint language and domain engineering
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Reasoning on UML class diagrams with OCL constraints
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
On the use of association redefinition in UML class diagrams
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Consistency of UML class diagrams with hierarchy constraints
NGITS'06 Proceedings of the 6th international conference on Next Generation Information Technologies and Systems
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Advanced Engineering Informatics
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
An approach to test-driven development of conceptual schemas
Data & Knowledge Engineering
Semantics and reasoning for control application engineering models
ICAISC'12 Proceedings of the 11th international conference on Artificial Intelligence and Soft Computing - Volume Part I
Representing and reasoning over a taxonomy of part-whole relations
Applied Ontology - Ontological Foundations of Conceptual Modelling
On the complexity of ontological reasoning under disjunctive existential rules
MFCS'12 Proceedings of the 37th international conference on Mathematical Foundations of Computer Science
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
Multidimensional models meet the semantic web: defining and reasoning on OWL-DL ontologies for OLAP
Proceedings of the fifteenth international workshop on Data warehousing and OLAP
Towards more expressive ontology languages: The query answering problem
Artificial Intelligence
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
An approach for synchronizing UML models and narrative text in literate modeling
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Semantics enhanced engineering and model reasoning for control application development
Multimedia Tools and Applications
Axioms & templates: distinctions & transformationsamongst ontologies, frames, & information models
Proceedings of the seventh international conference on Knowledge capture
Determining relevant model elements for the verification of UML/OCL specifications
Proceedings of the Conference on Design, Automation and Test in Europe
Finite satisfiability of UML class diagrams with constrained class hierarchy
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Description logic knowledge and action bases
Journal of Artificial Intelligence Research
Verification and synthesis in description logic based dynamic systems
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Temporal description logic for ontology-based data access
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
An ontology-based framework for domain-specific modeling
Software and Systems Modeling (SoSyM)
Representing and Reasoning About XML with Ontologies
Applied Intelligence
A formal ontology for industrial maintenance
Applied Ontology
Representation and reasoning of fuzzy ER models with description logic DLR
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Hi-index | 0.00 |
UML is the de-facto standard formalism for software design and analysis. To support the design of large-scale industrial applications, sophisticated CASE tools are available on the market, that provide a user-friendly environment for editing, storing, and accessing multiple UML diagrams. It would be highly desirable to equip such CASE tools with automated reasoning capabilities, such as those studied in Artificial Intelligence and, in particular, in Knowledge Representation and Reasoning. Such capabilities would allow to automatically detect relevant formal properties of UML diagrams, such as inconsistencies or redundancies. With regard to this issue, we consider UML class diagrams, which are one of the most important components of UML, and we address the problem of reasoning on such diagrams. We resort to several results developed in the field of Knowledge Representation and Reasoning, regarding Description Logics (DLs), a family of logics that admit decidable reasoning procedures. Our first contribution is to show that reasoning on UML class diagrams is EXPTIME-hard, even under restrictive assumptions; we prove this result by showing a polynomial reduction from reasoning in DLs. The second contribution consists in establishing EXPTIME-membership of reasoning on UML class diagrams, provided that the use of arbitrary OCL (first-order) constraints is disallowed. We get this result by using DLR"i"f"d, a very expressive EXPTIME-decidable DL that has been developed to capture typical features of conceptual and object-oriented data models. The last contribution has a more practical flavor, and consists in a polynomial encoding of UML class diagrams in the DL ALCQI, which essentially is the most expressive DL supported by current state-of-the-art DL-based reasoning systems. Though less expressive than DLR"i"f"d, the DL ALCQI preserves enough semantics to keep reasoning about UML class diagrams sound and complete. Exploiting such an encoding, one can use current DL-based reasoning systems as core reasoning engines for a next generation of CASE tools, that are equipped with reasoning capabilities on UML class diagrams.