Representing the Foundational Model of Anatomy (FMA) in OWL 2 is essential for semantic interoperability. The paper describes the method and tool used to formalize the FMA in OWL 2. One main strength of the approach is to leverage OWL 2 expressiveness and naming conventions of the native FMA to explicit some implicit semantics, meanwhile improving its ontological model and fixing some errors. A...

We report on our ongoing endeavour to create a prototypical reasoning system for the OWL 2 Full ontology language and several of its sublanguages, including RDFS and the OWL 2 RL/RDF Rules. Among the languages specified by the W3C OWL 2 standard, OWL 2 Full is the most expressive one, and several other languages, such as RIF and SPARQL 1.1, have dependencies on OWL 2 Full, but to date no reason...

A number of sophisticated medical ontologies have been created over the past years. With their development the need for supporting the alignment of different ontologies is gaining importance. We proposed C-OWL, an extension of the Web Ontology Language OWL that supports alignment mappings between different, possibly incompatible ontologies on a semantic level. In this paper we report experience...

Racer, which can be considered as a core reasoning agent for the semantic web, is briefly. Knowledge representation and inference systems. Recently.gies as OWL can be used for representing inductive systems for agent. A core OWL-reasoning agent for the semantic web 7. There are several efforts from.Racer: An OWL Reasoning Agent for the Semantic Web 2003. Intl Wkshp on Applications, Products and...

Ontologies have become increasingly relevant to the modelling community, providing a knowledgebase to support several software engineering activities. As such, several efforts have been made to integrate ontology technology with modelling technology. This has resulted in the Ontology Definition Metamodel (ODM), which allows model transformation languages to interact directly with ontologies. Th...

The domination of XML in the Internet for data exchange has led to the development of standards with XML Schema syntax for several application domains. Advanced semantic support, provided by domain ontologies and semantic Web tools like logic-based reasoners, is still very useful for many applications. In order to provide it, interoperability between XML Schema and OWL is necessary so that XML ...

The Description Logic (DL) research of the last 20 years was mainly concerned with increasing the expressive power of the employed description language without losing the ability of implementing highly-optimized reasoning systems that behave well in practice, in spite of the ever increasing worst-case complexity of the underlying inference problems. OWL DL, the standard ontology language for th...

A large library of biomedical ontologies has been developed in the OBO format, including important ontologies such as the Gene Ontology (GO). These resources have the potential to contribute to the Semantic Web in the life sciences domain. In particular, they allow the annotation of distributed experimental data in using a controlled and shared vocabulary. As the Web Ontology Language OWL is th...

In this paper, we will argue that a well-defined subset of English can be used to express the same kind of information as the description logic layer of the Web Ontology Language OWL DL. We will first show what kind of problems current notations for OWL have and then discuss how an OWL ontology can be constructed alternatively in a controlled natural language (CNL). In particular, we will prese...

In Semantic Web, the knowledge sources usually contain inconsistency because they are constantly changing and from different view points. As is well known, as based on the description logic, OWL is lack of the ability of tolerating inconsistent or incomplete data. Recently, the research in handling inconsistency in OWL becomes more and more important. In this paper, we present a paraconsistent ...