Edelweis Rohrer

The description logic SHIQ with a flexible meta-modelling hierarchy

This work is motivated by a real-world case study where it is necessary to integrate and relate existing ontologies through meta-modelling. For this, we introduce the Description Logic SHIQM which is obtained from SHIQ by adding statements that equate individuals to concepts in a knowledge base. In this new extension, concepts can be individuals of another concept (called meta-concept) which itself can be an individual of yet another concept (called meta-meta-concept) and so on. We define an algorithm that checks consistency of SHIQM by modifying the Tableau algorithm for SHIQ . From the practical point of view, this has the advantage that we can reuse the code of existing OWL reasoners. From the theoretical point of view, it has a similar advantage of reuse. We make use of the existing results and proofs that lead to correctness of the algorithm for SHIQ in order to prove correctness of the algorithm for SHIQM .

Modelling a web site quality‐based recommendation system

Purpose – Web site recommendation systems help to get high quality information. The modelling of recommendation systems involves the combination of many features: metrics of quality, quality criteria, recommendation criteria, user profile, and specific domain concepts, among others. At the moment of the specification of a recommendation system it must be guaranteed a right interrelation of all of these features. The purpose of this paper is to model a web site quality‐based recommendation system by an ontology network.Design/methodology/approach – In this paper, the authors propose an ontology network based process for web site recommendation modelling. The ontology network conceptualizes the different domains (web site domain, quality assurance domain, user context domain, recommendation criteria domain, specific domain) in a set of interrelated ontologies. Particularly, this approach is illustrated for the health domain.Findings – Basically, this work introduces the semantic relationships that were used...

Ontology-Based Process for Recommending Health WebSites

Website content quality is particularly relevant in the health domain. A common user needs to retrieve health information that is precise, reliable and relevant to his/her profile. Website recommendation systems are an aid to get high quality health-related web sites according to the user’s needs. However, in practice, it is not always evident how to describe recommendation criteria for health website. The goal of this paper is to describe, by an ontology network, the criteria used by a health website recommendation process. This ontology network conceptualizes the different domains that are involved in the Salus Recommendation Project as a set of interrelated ontologies.

Modeling a web site quality-based recommendation system

Web site recommendation systems help to get high quality information. The modeling of recommendation system involves the combination of many features: metrics of quality, quality criteria, recommendation criteria, user profile, specific domain concepts, among others. At the moment of the specification of a recommendation system it must be guaranteed a right interrelation of all of these features. In this paper, we propose an ontology network based process for web site recommendation modeling. The ontology network conceptualizes the different domains (web site domain, quality assurance domain, user context domain, recommendation criteria domain, specific domain) in a set of interrelated ontologies. Basically, this work introduces the semantic relationships that were used to construct this ontology network. Moreover, it shows the usefulness of this ontology network for the detection of possible inconsistencies when specifying recommendation criteria. Particularly, this approach is illustrated for the health domain.

Reasoning for {\mathcal {ALCQ}} Extended with a Flexible Meta-Modelling Hierarchy

This works is motivated by a real-world case study where it is necessary to integrate and relate existing ontologies through meta- modelling. For this, we introduce the Description Logic ALCQM which is obtained from ALCQ by adding statements that equate individuals to concepts in a knowledge base. In this new extension, a concept can be an individual of another concept (called meta-concept) which themselves can be individuals of yet another concept (called meta meta-concept) and so on. We define a tableau algorithm for checking consistency of an ontology in ALCQM and prove its correctness.

Formal specification of ontology networks

Nowadays, it is very often to integrate existing ontologies, combining them in a ontology network to accomplish the requirements of more complex applications. This PhD research aims to identify and formally define the relationships among the networked ontologies, addressing its use in real applications and taking care of their consistency.

Modeling and use of an ontology network for website recommendation systems

The modeling of website recommendation systems involves the combination of many features: website domain, metrics of quality, quality criteria, recommendation criteria, user profile, and specific domain features. When specifying these systems, it must be ensured the proper interrelationship of all these features. In order to ensure the proper relationships of all these features, we propose an ontology network, the Salus ontology. This work presents the structure of each of the networked ontologies and the semantic relationships that exist among them.