Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Toward principles for the design of ontologies used for knowledge sharing
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Propositional, first-order, and higher-order logics (Appendix A)
Natural language processing and knowledge representation
Evaluating ontological decisions with OntoClean
Communications of the ACM - Ontology: different ways of representing the same concept
GOL: toward an axiomatized upper-level ontology
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Supporting ontological analysis of taxonomic relationships
Data & Knowledge Engineering - ER2000
What Are Ontologies, and Why Do We Need Them?
IEEE Intelligent Systems
Data modelling versus ontology engineering
ACM SIGMOD Record
Practical Reasoning for Expressive Description Logics
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Semantic Ontology Tools in IS Design
ISMIS '99 Proceedings of the 11th International Symposium on Foundations of Intelligent Systems
Formal Ontology Engineering in the DOGMA Approach
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Towards Ontological Foundations for UML Conceptual Models
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Formalising Ontologies and Their Relations
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Proceedings of the 15th international conference on World Wide Web
Bootstrapping semantics on the web: meaning elicitation from schemas
Proceedings of the 15th international conference on World Wide Web
IJCAI'93 Proceedings of the 13th international joint conference on Artifical 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
Visual analysis for ontology engineering
Journal of Visual Languages and Computing
Context dependency management in ontology engineering: a formal approach
Journal on data semantics VIII
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
Modularization and automatic composition of object-role modeling (ORM) schemes
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Semantically unlocking database content through ontology-based mediation
SWDB'04 Proceedings of the Second international conference on Semantic Web and Databases
DOGMA-MESS: a meaning evolution support system for interorganizational ontology engineering
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Positionalism of Relations and Its Consequences for Fact-Oriented Modelling
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
Empowering enterprise data governance with BSG
Proceedings of the sixth international conference on Knowledge capture
Identifying conceptual layers in the ontology development process
SETN'12 Proceedings of the 7th Hellenic conference on Artificial Intelligence: theories and applications
Eco-informatics modelling via semantic inference
Information Systems
Towards a Method Family Supporting Information Services Co-Creation in the Transdisciplinary Context
International Journal of Information System Modeling and Design
Hi-index | 0.00 |
This chapter presents a methodological framework for ontology engineering (called DOGMA), which is aimed to guide ontology builders towards building ontologies that are both highly reusable and usable, easier to build and to maintain. We survey the main foundational challenges in ontology engineering and analyse to what extent one can build an ontology independently of application requirements at hand. We discuss ontology reusability verses ontology usability and present the DOGMA approach, its philosophy and formalization, which prescribe that an ontology be built as separate domain axiomatization and application axiomatizations. While a domain axiomatization focuses on the characterization of the intended meaning (i.e. intended models) of a vocabulary at the domain level, application axiomatizations focus on the usability of this vocabulary according to certain application/usability perspectives and specify the legal models (a subset of the intended models) of the application(s)' interest. We show how specification languages (such as ORM, UML, EER, and OWL) can be effectively (re)used in ontology engineering.