HILOG: a foundation for higher-order logic programming
Journal of Logic Programming
Information and Computation
Complexity Results for First-Order Two-Variable Logic with Counting
SIAM Journal on Computing
Ontologies' KISSES in Standardization
IEEE Intelligent Systems
Reasoning with Individuals for the Description Logic SHIQ
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
Three theses of representation in the semantic web
WWW '03 Proceedings of the 12th international conference on World Wide Web
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
The Description Logic Handbook
The Description Logic Handbook
OWL FA: a metamodeling extension of OWL D
Proceedings of the 15th international conference on World Wide Web
The logic of RDF and SPARQL: a tutorial
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
RDFS(FA): Connecting RDF(S) and OWL DL
IEEE Transactions on Knowledge and Data Engineering
Explorations in the use of semantic web technologies for product information management
Proceedings of the 16th international conference on World Wide Web
Preference-based selection of highly configurable web services
Proceedings of the 16th international conference on World Wide Web
On the Relationship between Description Logic-based and F-Logic-based Ontologies
Fundamenta Informaticae
Semantic specification and evaluation of bids in web-based markets
Electronic Commerce Research and Applications
Web Semantics: Science, Services and Agents on the World Wide Web
A TRIPLE-Oriented Approach for Integrating Higher-Order Rules and External Contexts
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Meta-circularity and MOP in common Lisp for OWL full
Proceedings of the 6th European Lisp Workshop
OntOWLClean: Cleaning OWL ontologies with OWL
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Semantic Enhancement for Enterprise Data Management
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Multi-level Conceptual Modeling and OWL
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
Fuzzy extensions of OWL: Logical properties and reduction to fuzzy description logics
International Journal of Approximate Reasoning
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
Ontological constitutions for classes and properties
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
On the Relationship between Description Logic-based and F-Logic-based Ontologies
Fundamenta Informaticae
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
A common practice in conceptual modeling is to separate the intensional from the extensional model. Although very intuitive, this approach is inadequate for many complex domains, where the borderline between the two models is not clear-cut. Therefore, OWL-Full, the most expressive of the Semantic Web ontology languages, allows combining the intensional and the extensional model by a feature we refer to as metamodeling. In this paper, we show that the semantics of metamodeling adopted in OWL-Full leads to undecidability of basic inference problems, due to free mixing of logical and metalogical symbols. Based on this result, we propose two alternative semantics for metamodeling: the contextual and the HiLog semantics. We show that — a description logic underlying OWL-DL — extended with metamodeling under either semantics is decidable. Finally, we show how the latter semantics can be used in practice to axiomatize the logical interaction between concepts and metaconcepts.