A formalization of the binary object-role model based on logic
Data & Knowledge Engineering
On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Information modeling and relational databases: from conceptual analysis to logical design
Information modeling and relational databases: from conceptual analysis to logical design
The Knowledge Engineering Review
A tool for automatic UML model consistency checking
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
The Description Logic Handbook
The Description Logic Handbook
Identification constraints and functional dependencies in description logics
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Reasoning on UML class diagrams
Artificial Intelligence
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
Automated verbalization for ORM 2
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
MashQL: a query-by-diagram topping SPARQL
Proceedings of the 2nd international workshop on Ontologies and information systems for the semantic web
Ontology Engineering --- The DOGMA Approach
Advances in Web Semantics I
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
Proceedings of the 1st International Conference on Intelligent Semantic Web-Services and Applications
A standard language for service delivery: Enabling understanding among stakeholders
Computer Standards & Interfaces
Using SOIQ(D) to formalize semantics within a semantic decision table
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
| Hi-index | 0.00 |
We map ORM into the SHOIN/OWL, which is the most common description logic in ontology engineering. As SHOIN/OWL is known to be a good compromise between expressiveness and computational complexity, this implies that the ORM constraints mapped in this paper are the constraints that are easier to implement and reason about. Our mappings are implemented as an extension to the DogmaModeler tool, which uses Racer as a background reasoning engine. Furthermore, the expressive, methodological, and graphical capabilities of ORM make it a good candidate for use as a graphical notation for ontology languages. In this way, industrial experts who are not IT savvy will still be able to build and view ontologies without needing to know the logic or reasoning foundations underpinning them.