Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Artificial Intelligence
Generic tasks and task structures: history, critique and new directions
Second generation expert systems
The componential framework and its role in reusability
Second generation expert systems
Explanation in second generation expert systems
Second generation expert systems
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
The reuse of knowledge: a user-centred approach
International Journal of Human-Computer Studies
Information modeling and relational databases: from conceptual analysis to logical design
Information modeling and relational databases: from conceptual analysis to logical design
Ontologies: a silver bullet for knowledge management and electronic commerce
Ontologies: a silver bullet for knowledge management and electronic commerce
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Ontology, Metadata, and Semiotics
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
ISMIS '94 Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems
Semantic Ontology Tools in IS Design
ISMIS '99 Proceedings of the 11th International Symposium on Foundations of Intelligent Systems
A Conceptual Markup Language That Supports Interoperability between Business Rule Modeling Systems
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
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Data modelling versus ontology engineering
ACM SIGMOD Record
A framework for modeling and evaluating automatic semantic reconciliation
The VLDB Journal — The International Journal on Very Large Data Bases
Managing ontologies: a comparative study of ontology servers
ADC '07 Proceedings of the eighteenth conference on Australasian database - Volume 63
Ontology Engineering --- The DOGMA Approach
Advances in Web Semantics I
Web of Things as a Framework for Ubiquitous Intelligence and Computing
UIC '09 Proceedings of the 6th International Conference on Ubiquitous Intelligence and Computing
A Method and Tool for Fact Type Reuse in the DOGMA Ontology Framework
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part II
Visual analysis for ontology engineering
Journal of Visual Languages and Computing
Context comparison for object fusion
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
From database to semantic web ontology: an overview
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
Towards automated reasoning on ORM schemes mapping ORM into the DLRidf description logic
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Towards ontological commitments with Ω-RIDL markup language
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
Creating ontologies for content representation: the OntoSeed suite
Journal on data semantics IX
An ontology of diabetes self management
Proceedings of the first international workshop on Managing interoperability and complexity in health systems
Directly applied ORM constraints for validating and verifying semantic decision tables
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems
Turning the mouse into a semantic device: the seMouse experience
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Object role modelling for ontology engineering in the DOGMA framework
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Multilingual semantic web services
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Adapting the object role modelling method for ontology modelling
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
From folksologies to ontologies: how the twain meet
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Enhancing the business analysis function with semantics
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Viewpoints on emergent semantics
Journal on Data Semantics VI
Managing uncertainty in schema matching with top-k schema mappings
Journal on Data Semantics VI
Formal representation of tissue geometric features by DOGMA ontology
3DPH'09 Proceedings of the 2009 international conference on Modelling the Physiological Human
Towards an ontology modeling tool. A validation in software engineering scenarios
Expert Systems with Applications: An International Journal
Data modelling and ontological semantics
International Journal of Data Analysis Techniques and Strategies
Mind the (intelligibility) gap
ECDL'07 Proceedings of the 11th European conference on Research and Advanced Technology for Digital Libraries
Dependency management for the preservation of digital information
DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications
Hi-index | 0.00 |
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semantics for a real world domain. We address several related key issues, such as knowledge reusability and shareability, scalability of the ontology engineering process and methodology, efficient and effective ontology storage and management, and coexistence of heterogeneous rule systems that surround an ontology mediating between it and application agents. Ontologies should represent a domain's semantics independently from "language", while any process that creates elements of such an ontology must be entirely rooted in some (natural) language, and any use of it will necessarily be through a (in general an agent's computer) language.To achieve the claims stated, we explicitly decompose ontological resources into ontology bases in the form of simple binary facts called lexons and into socalled ontological commitments in the form of description rules and constraints. Ontology bases in a logic sense, become "representationless" mathematical objects which constitute the range of a classical interpretation mapping from a first order language, assumed to lexically represent the commitment or binding of an application or task to such an ontology base. Implementations of ontologies become database-like on-line resources in the model-theoretic sense. The resulting architecture allows to materialize the (crucial) notion of commitment as a separate layer of (software agent) services, mediating between the ontology base and those application instances that commit to the ontology. We claim it also leads to methodological approaches that naturally extend key aspects of database modeling theory and practice. We discuss examples of the prototype DOGMA implementation of the ontology base server and commitment server.