OWL extended with meta-modelling

Abstract:

In this paper we explain how we extended the Web Ontology Language (OWL) with meta-modelling. In order to express meta-modelling, we extended the OWL syntax with a new constructor that allows us to equate individuals with classes. In order to perform the main task of checking consistency of ontologies that have meta-modelling, we extended the free and open source reasoner for the Semantic Web called Pellet.

Año de publicación:

2016

Keywords:

• Consistency checking
• Meta-Modelling
• owl
• Reasoner

Fuente:

scopus