The problem of reasoning over ontologies written in Description Logic (DL) [1] has received strong interest, particularly after the Semantic Web inception. The necessity of creating reasoners to deal with OWL (Ontology Web Language) [2], in its various versions, posed interesting research questions for inference systems, making th
Abstract. The vision of a Semantic Web has recently drawn consider-able attention, both from academi...
The concept of the semantic web is based on the ability to reason over explicitly declared or define...
We show how to interoperate, semantically and inferentially, between the leading Semantic Web approa...
The ontology language for the semantic web OWL provides means to describe entities of an application...
Abstract. Description Logics (DLs) are a well-investigated family of logic-based knowledge represent...
Abstract. The recent advent of the Semantic Web has given rise to the need for efficient and sound m...
For many years, the Modal Logic community has pursued various techniques for robustly combining logi...
Abstract. Answering a query over a group of RDF data pages is a trivial process. However, in the Sem...
In spite of the increasing effort spent on building ontologies for the Semantic Web, little attentio...
Nowadays, saturation-based reasoners for the OWL EL profile of the Web Ontology Language are able to...
AbstractIn this paper, we propose a new solution to the ontology matching problem. The deduction of ...
The Semantic Web is a future vision of the web where stored information has exact meaning, thus enab...
Abstract. Formal ontologies play an increasingly important role in demanding knowledge representatio...
Knowledge representation using ontologies constitutes the heart of semantic technologies. Despite s...
The Semantic Web is commonly perceived as a web of partially-interlinked machine readable data. Thi...
Abstract. The vision of a Semantic Web has recently drawn consider-able attention, both from academi...
The concept of the semantic web is based on the ability to reason over explicitly declared or define...
We show how to interoperate, semantically and inferentially, between the leading Semantic Web approa...
The ontology language for the semantic web OWL provides means to describe entities of an application...
Abstract. Description Logics (DLs) are a well-investigated family of logic-based knowledge represent...
Abstract. The recent advent of the Semantic Web has given rise to the need for efficient and sound m...
For many years, the Modal Logic community has pursued various techniques for robustly combining logi...
Abstract. Answering a query over a group of RDF data pages is a trivial process. However, in the Sem...
In spite of the increasing effort spent on building ontologies for the Semantic Web, little attentio...
Nowadays, saturation-based reasoners for the OWL EL profile of the Web Ontology Language are able to...
AbstractIn this paper, we propose a new solution to the ontology matching problem. The deduction of ...
The Semantic Web is a future vision of the web where stored information has exact meaning, thus enab...
Abstract. Formal ontologies play an increasingly important role in demanding knowledge representatio...
Knowledge representation using ontologies constitutes the heart of semantic technologies. Despite s...
The Semantic Web is commonly perceived as a web of partially-interlinked machine readable data. Thi...
Abstract. The vision of a Semantic Web has recently drawn consider-able attention, both from academi...
The concept of the semantic web is based on the ability to reason over explicitly declared or define...
We show how to interoperate, semantically and inferentially, between the leading Semantic Web approa...