In this paper, we describe our approach for representing temporal aggregates in OWL-Time, and a systematic way of mapping iCalendar recurrence sets to OWL-Time temporal sequences. We present several examples of natural language expressions for temporal aggregates and how they would be represented in OWL-Time; some examples can be described in both iCalendar and OWL-Time, while others can only b...

Existing approaches for querying OWL DL do either only operate on syntactic constructs without taking into account the semantics of OWL or do only have a restricted access to the T-Box. We present OWL-SAIQL, the novel Schema And Instance Query Language for OWL DL, that is well suited for ontology extraction. We describe its syntax and provide a model-theoretic semantics for OWL-SAIQL. Furthermo...

.............................................................................................................................................. ix Executive Summary ........................................................................................................................... 1 1.0 Introduction ............................................................................................

We describe a verbalization of the logical content of OWL ontologies — using OWL 1.1 without data-valued properties — in Attempto Controlled English (ACE). Because ACE is a subset of English, the verbalization makes OWL ontologies accessible to people with no training in formal methods. We conclude that OWL can be verbalized in concise and understandable English provided that a certain naming s...

Résumé : Le Web Ontology Language (OWL) standardisé par le W3C a pour objectif d’offrir un langage de conception d’ontologies pour le web sémantique. L’ingénierie d’une ontologie est une activité complexe nécessitant une habilité peu accessible à des experts de contenu. En revanche, pour modéliser du contenu métier, la modélisation graphique semi-formelle est une technique souvent employée pour...

This paper presents OASIS – a new tool that enables (semi)automatic conversion of existing knowledge bases, semantic networks, terminological databases and various other resources to complex ontologies into OWL. The tool is implemented as a client of DEB (Dictionary Editor and Browser) which is able to store, index and efficiently retrieve lexical data. The architecture is based on XML and rela...

Tableau-based Reasoning for Description Logics with Inverse Roles and Number Restrictions Yu Ding, Ph.D. Concordia University, 2008 The tableaux algorithm is a general technique for deciding concept satisfiability problems in description logics (DLs). It is useful not only for practical implementations, but also for studying the correctness and complexity of concrete decision procedures. There ...

Ontologies are currently evolving representation technique for overlapping context domains. Ontology is defined as a set of realistic primitives with a domain of knowledge which is to be modeled. Ontologies are the tool for specifying the relationship between the concepts used on the semantic web technology. Ontology mapping is fundamental methodology to achieve interoperability between the exi...

Knowledge base exchange is an important problem in the area of data exchange and knowledge representation, where one is interested in exchanging information between a source and a target knowledge base connected through a mapping. In this paper, we study this fundamental problem for knowledge bases and mappings expressed in OWL 2 QL, the profile of OWL 2 based on the description logic DL-LiteR....