On the Properties of Metamodeling in OWL

No abstract is available for this paper.

• Publication year

  2005

• Venue

  Journal of Logic and Computation

• Publication date

  2005-11-06

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1093/logcom/exm027
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• The Description Logic Handbook: Preface

  2007cited by this paper
• Reasoning in description logics using resolution and deductive databases

  2006cited by this paper
• A Resolution-Based Decision Procedure for SHOIQ

  2006cited by this paper
• FaCT++ Description Logic Reasoner: System Description

  2006cited by this paper
• A Tableaux Decision Procedure for SHOIQ

  2005cited by this paper
• Pellet: An OWL DL Reasoner

  2004cited by this paper
• OWL Web Ontology Language Reference-W3C Recommen-dation

  2004influential reference
• Complexity of the Two-Variable Fragment with Counting Quantifiers

  2004cited by this paper
• Reducing SHIQ-Description Logic to Disjunctive Datalog Programs

  2004cited by this paper
• A proposal for an owl rules language

  2004influential reference
• Reducing {$\mathcal SHIQ^-$} Description Logic to Disjunctive Datalog Programs

  2004cited by this paper
• OWL Web Ontology Language - Reference

  2004cited by this paper
• Reasoning for Description Logics aroundSHIQ in a Resolution Framework

  2004influential reference
• Three theses of representation in the semantic web

  2003cited by this paper
• RDFS(FA) and RDF MT: Two Semantics for RDFS

  2003cited by this paper
• The Description Logic Handbook: Theory, Implementation, and Applications

  2003cited by this paper
• OWL Web Ontology Language XML Presentation Syntax

  2003cited by this paper
• The Web is not well-formed

  2002influential reference
• Ontologies' KISSES in Standardization

  2002cited by this paper
• RACER System Description

  2001cited by this paper
• Computing Small Clause Normal Forms

  2001cited by this paper
• Practical Reasoning for Very Expressive Description Logics

  2000influential reference
• Reasoning with Individuals for the Description Logic SHIQ

  2000cited by this paper
• Complexity Results for First-Order Two-Variable Logic with Counting

  2000cited by this paper
• Practical Reasoning for Expressive Description Logics

  1999cited by this paper
• The Classical Decision Problem

  1997influential reference
• Basic Paramodulation

  1995cited by this paper
• What's in an Instance?

  1994cited by this paper
• HILOG: A Foundation for Higher-Order Logic Programming

  1993influential reference
• A Scheme for Integrating Concrete Domains into Concept Languages

  1991cited by this paper
• Elementary Logic: Revised Edition

  1980cited by this paper
• The undecidability of the domino problem

  1966influential reference

• Can Full Set-Theoretical Subsumption Semantics in Metamodelled Description Logics Be Captured Within Decidable FOL Fragments?

  2025cites this paper
• Abstracting Conceptual Models as a Weakening Process

  2025cites this paper
• Event Modeling for Reasoning of Consequences

  2025cites this paper
• Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases

  2025cites this paper
• A knowledge-based approach for guided development of Infrastructure as Code

  2025cites this paper
• A Case for Extensional Non-Wellfounded Metamodeling

  2024cites this paper
• Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL

  2024cites this paper
• LPG-Based Knowledge Graphs: A Survey, a Proposal and Current Trends

  2023cites this paper
• Quantification and aggregation over concepts of the ontology

  2022cites this paper
• Meta-reasoning over OWL 2 QL using Datalog

  2022cites this paper
• Metamodeling and metaquerying in OWL 2 QL

  2021cites this paper
• An Evaluation of Meta-reasoning over OWL 2 QL

  2021cites this paper
• DL-Lite Full: A Sub-language of OWL 2 Full for Powerful Meta-modeling

  2021influential citation
• Supporting Metamodeling in Ontologies Using Rules

  2020cites this paper
• Using Higher-order Description Logics for Learning and Mining in Complex Domains

  2020cites this paper
• Metaquerying made practical for OWL 2 QL ontologies

  2020cites this paper
• A retrospective on Telos as a metamodeling language for requirements engineering

  2020cites this paper
• A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4 , ×

  2020cites this paper
• Towards Higher-order OWL

  2020influential citation
• Adding the Power-Set to Description Logics

  2019influential citation
• Title Scalable Authoritative OWL Reasoning for the Web

  2019cites this paper
• Meta-Modelling Ontology Design Pattern

  2019cites this paper
• A Description Logic for Unifying Different Points of View

  2019cites this paper
• Extending ALC with the Power-Set Construct

  2019cites this paper
• Performance of K-Means Clustering Algorithm in enriching a new concept of Amenities into Dwipa Ontology III within the Indonesia Tourism Domain

  2019cites this paper
• Preserving Multi-level Semantics in Conventional Two-Level Modeling Techniques

  2019cites this paper
• Logics in Machine Learning and Data Mining: Achievements and Open Issues

  2019cites this paper
• An Expressive Sub-language of OWL 2 Full for Domain Meta-modeling

  2019influential citation
• Power (Set) ALC (Extended Abstract)

  2018influential citation
• Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity

  2018cites this paper
• Ontology Development Through Concept Map and Text Analytics: The Case of Automotive Safety Ontology

  2018cites this paper
• Ontologie naturalisée et ingénierie des connaissances

  2018cites this paper
• Knowledge-Intensive Evolutionary Algorithms for Solving a Healthcare Fleet Optimization Problem: An Ontological Approach

  2018cites this paper
• Power (Set) ALC

  2018influential citation
• Metamodeling in Domain Ontologies

  2018cites this paper
• The more irresistible Hi(SRIQ) for meta-modeling and meta-query answering

  2018cites this paper
• Reasonable Macros for Ontology Construction and Maintenance

  2017influential citation
• An Axiom Based Metamodel for Software Process Formalisation: An Ontology Approach

  2017influential citation
• A Development Framework for Customer Experience Management Applications: Principles and Case Study

  2017cites this paper
• Applying Description Logics Extended with Meta-modelling to SNOMED-CT

  2017cites this paper
• Towards a Metaquery Language for Mining the Web of Data

  2017cites this paper
• Inquiry into RDF and OWL Semantics

  2016cites this paper
• OWL Extended with Meta-modelling

  2016cites this paper
• Meta-modeling Extension of Horn-SROIQ and Query Answering

  2016influential citation
• UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO CENTRO TECNOLÓGICO PROGRAMA DE PÓS-GRADUAÇÃO EM INFORMÁTICA

  2016influential citation
• Comparison of SVM and Ontology-Based Text Classification Methods

  2016cites this paper
• VERSION ANALYSIS FOR FAULT DETECTION IN OWL ONTOLOGIES

  2016cites this paper
• A Higher-Order Semantics for Metaquerying in OWL 2 QL

  2016influential citation
• On the composition of ISO 25964 hierarchical relations (BTG, BTP, BTI)

  2016cites this paper
• Towards a Meta-Reasoning Framework for Reasoning about Vagueness in OWL Ontologies

  2016cites this paper
• Ontologies to Lead Knowledge Intensive Evolutionary Algorithms: Principles and Case Study

  2016cites this paper
• Lightweight Description Logics with Meta-modelling

  2016cites this paper
• A survey on fuzzy ontologies for the Semantic Web

  2016cites this paper
• Expressive Description Logic with Instantiation Metamodelling

  2016influential citation
• Expressive Multi-level Modeling for the Semantic Web

  2016cites this paper
• Answering Metaqueries over Hi (OWL 2 QL) Ontologies

  2016cites this paper
• Querying Large and Expressive Biomedical Ontologies

  2015cites this paper
• The description logic SHIQ with a flexible meta-modelling hierarchy

  2015cites this paper
• Web Semantics: Science, Services and Agents on the World Wide Web

  2015influential citation
• A Logical and Ontological Framework for Compositional Concepts of Objects and Properties

  2015cites this paper
• Ontology-Mediated Query Answering with Data-Tractable Description Logics

  2015cites this paper
• Complexity of the Description Logic ALCM

  2015influential citation
• Ontology Evolution Using Ontology Templates

  2015cites this paper
• Web Ontology Representation and Reasoning via Fragments of Set Theory

  2015cites this paper
• Towards Expressive Metamodelling with Instantiation

  2015influential citation
• A higher-order semantics for OWL 2 QL ontologies (Extended abstract)

  2015cites this paper
• Towards Ontology-Driven RDF Analytics

  2015cites this paper
• Knowledge Intensive Evolutionary Algorithms

  2015cites this paper
• Metamodelling in a Ontology Network

  2014cites this paper
• Rule-based reasoning with OWL 2 RL ontologies

  2014cites this paper
• An Introduction to Description Logics and Query Rewriting

  2014cites this paper
• Rule-Based Reasoning System for OWL 2 RL Ontologies

  2014cites this paper
• A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions

  2014cites this paper
• Typed Higher-Order Variant of SROIQ - Why Not?

  2014influential citation
• Making Metaquerying Practical for Hi(DL - Lite R ) Knowledge Bases

  2014cites this paper
• Parallelizing Description Logic Reasoning

  2014cites this paper
• Reasoning for ALCQ Extended with a Flexible Meta-Modelling Hierarchy

  2014influential citation
• A tour of BeAware - A situation awareness framework for control centers

  2014cites this paper
• Knowledge Representation and Reasoning in the Semantic Web

  2014cites this paper
• SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment

  2014cites this paper
• Updating RDFS ABoxes and TBoxes in SPARQL

  2014cites this paper
• Wnioskowanie regułowe z ontologiami OWL 2 RL

  2014cites this paper
• Practical Query Answering over Hi (DL-LiteR) Knowledge Bases

  2014cites this paper
• Metamodeling-Based Coherence Checking of OWL Vocabulary Background Models

  2013cites this paper
• Semantic Technologies: A Computational Paradigm for Making Sense of Qualitative Meaning Structures

  2013cites this paper
• Towards Typed Higher-Order Description Logics

  2013influential citation
• Metamodelling and Ontologies (

  2013cites this paper
• SPARQL Update under RDFS Entailment in Fully Materialized and Redundancy-Free Triple Stores

  2013cites this paper
• A Software Modeling Approach to Ontology Design via Extensions to ODM and OWL

  2013influential citation
• A Multi-dimensional Comparison of Ontology Design Patterns for Representing n-ary Relations

  2013cites this paper
• The Semantic Web as a Software Modeling Tool: An Application to Citizen Relationship Management

  2013cites this paper
• Reasoning Driven Configuration of Linked Data Content Management Systems

  2013cites this paper
• Model-Driven Software Development

  2013cites this paper
• Ontology-Driven Software Development

  2012cites this paper
• An order-sorted query system for sort, predicate, and meta-predicate hierarchies

  2012cites this paper
• A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions

  2012cites this paper
• Sorted hyper-predicate knowledge bases for ontologies and rules

  2012cites this paper
• Modelling and Processing Wordnets in OWL

  2012cites this paper
• Bringing relational databases into the Semantic Web: A survey

  2012cites this paper
• Knowledge engineering for mental-health risk assessment and decision support

  2011cites this paper