Norms and plans as unification criteria for social collectives
Autonomous Agents and Multi-Agent Systems
An interactive ontology learning workbench for non-experts
Proceedings of the 2nd international workshop on Ontologies and information systems for the semantic web
A Software Framework for Translating ECA Sequences from OWL-DL into Java
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Formal Semantics and OntologiesTowards an Ontological Account of Formal Semantics
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
Ontology RepresentationDesign Patterns and Ontologies that Make Sense
Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Inducing Metaassociations and Induced Relationships
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Modelling and reasoning in metamodelling enabled ontologies
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Integrated metamodeling and diagnosis in OWL 2
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
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
Modeling techniques for multi-level abstraction
The evolution of conceptual modeling
Reasoning in expressive extensions of the RDF semantics
ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
Reasoning in the OWL 2 full ontology language using first-order automated theorem proving
CADE'11 Proceedings of the 23rd international conference on Automated deduction
ShareAlike your data: self-referential usage policies for the semantic web
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
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
Sorted hyper-predicate knowledge bases for ontologies and rules
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Bringing relational databases into the Semantic Web: A survey
Semantic Web - On real-time and ubiquitous social semantics
Hi-index | 0.00 |
A common practice in conceptual modeling is to separate the conceptual from the data model. Although very intuitive, this approach is inadequate for many complex domains, in which the borderline between the two models is not clear-cut. Therefore, OWL Full, the most expressive of the Semantic Web ontology languages, allows us to combine the conceptual and the data model by a feature we refer to as metamodeling. In this article, we show that the semantics of metamodeling adopted in OWL Full leads to the undecidability of basic inference problems due to the free usage of the built-in vocabulary. Based on this result, we propose two alternative semantics for metamodeling: the contextual and the HiLog semantics. We present several examples showing how to use the latter semantics to axiomatize the interaction between concepts and metaconcepts. Finally, we show that SHOIQ(D)—the description logic underlying OWL DL—is still decidable when extended with metamodeling under either semantics.