Semanlink - Technologie AND Mathématiques

Very good presentation at WWW 2008. Nominated for the best paper award<br/>
Abstract: Applications of semantic technologies often require the representation of and reasoning with structured objects—that is, objects composed of parts connected in complex ways. Although OWL is a general and powerful language, its class descriptions and axioms cannot be used to describe arbitrarily connected structures. An OWL representation of structured objects can thus be underconstrained, which reduces the inferences that can be drawn and causes performance problems in reasoning. To address these problems, we extend OWL with description graphs, which allow for the description of structured objects in a simple and precise way. To represent conditional aspects of the domain, we also allow for SWRL-like rules over description graphs. Based on an observation about the nature of structured objects, we ensure decidability of our formalism. We also present a hypertableau-based decision procedure, which we implemented in the HermiT reasoner. To evaluate its performance, we have extracted description graphs from the GALEN and FMA ontologies, classified them successfully, and even detected a modeling error in GALEN.

2008-04-23 A propos

GRDDL in OwlSight | Thinking Clearly

Tags:

2008-04-11 A propos

MyCarEvent - Terminology and Methodology for populating the generic information model

Tags:

MyCarEvent

2008-01-20 A propos

UserRequirements - owl1-1 - Google Code

Tags:

2008-01-08 A propos

MYCAREVENT: OWL and the automotive repair information supply chain - Proceedings of Extreme Markup Languages®

Tags:

MyCarEvent

2007-10-05 A propos

Representing Probabilistic Relations in RDF

Tags:

2007-09-27 A propos

OWL 1.1 Web Ontology Language Overview

Tags:

OWL 1.1

2007-09-19 A propos

Submission Request to W3C: OWL 1.1 Web Ontology Language

Tags:

2007-09-19 A propos

OWL Web Ontology Language Guide

Tags:

2007-09-19 A propos

bobdc.blog: Some great W3C explanations of basic ontology concepts

Tags:

2007-08-06 A propos

CO-ODE

Tags:

2007-07-26 A propos

SKOS Extensions [RDF/OWL Description]

Tags:

2007-07-18 A propos

"Semantic Web Technologies in Technical Automotive" - CEUR-WS.org/Vol-258 - OWL: Experiences and Directions 2007

Tags:

2007-07-13 A propos

CEUR-WS.org/Vol-258 - OWL: Experiences and Directions 2007

Tags:

OWLED 2007

2007-07-13 A propos

DESCRIPTION LOGICS course - Enrico Franconi

Tags:

Description Logic

2007-07-09 A propos

An introduction to Description Logics - Daniele Nardi, Ronald J. Brachman

Tags:

Description Logic

2007-07-09 A propos

jsMath Home Page

Tags:

2007-07-09 A propos

P2NotesOwled2007 - owl1-1 - Google Code

Tags:

OWLED 2007 AND fps

2007-06-29 A propos

S1NotesOwled2007 - owl1-1 - Google Code

Tags:

OWLED 2007 AND fps

2007-06-29 A propos

owl1-1 - Google Code

Tags:

2007-06-27 A propos

OWLED 2007 - LeibnizWiki

Tags:

OWLED 2007 AND fps

2007-06-23 A propos

Structured Ontology Format

Tags:

2007-06-07 A propos

OWLED 2007 Program

Tags:

OWLED 2007

2007-06-04 A propos

EasyChair. Login Page for OWLED 2007

Tags:

OWLED 2007

2007-05-05 A propos

An OWL model for managing ontologies in the agricultural domain

Tags:

2007-04-02 A propos

OWL: Experiences and Directions - OWLED 2007

Tags:

OWLED 2007

2007-03-04 A propos

Horst, Herman J. ter: Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary

Tags:

We prove that entailment for RDFS (RDF Schema) is decidable, NP-complete, and in P if the target graph does not contain blank nodes.We show that the standard set of entailment rules for RDFS is incomplete and that this can be corrected by allowing blank nodes in predicate position. We define semantic extensions of RDFS that involve datatypes and a subset of the OWL vocabulary that includes the property-related vocabulary (e.g. Functional- Property), the comparisons (e.g. sameAs and differentFrom) and the value restrictions (e.g. allValuesFrom). These semantic extensions are in line with the 'if-semantics' of RDFS and weaker than the 'iff-semantics' of D-entailment and OWL (DL or Full). For these semantic extensions we present entailment rules, prove completeness results, prove that consistency is in P and that, just as for RDFS, entailment is NP-complete, and in P if the target graph does not contain blank nodes. There are no restrictions on use to obtain decidability: classes can be used as instances.

2007-02-06 A propos

ProtegeWiki: Modeling Tips And Tricks

Tags:

2006-12-23 A propos

Integrating Description Logics and Relational Databases

Tags:

2006-12-16 A propos

On the properties of metamodeling in OWL

Tags:

Abstract: A common practice in conceptual modeling is to separate the intensional from the extensional model. Although very intuitive, this approach is inadequate for many complex domains, where the borderline between the two models is not clear-cut. Therefore, OWL-Full, the most expressive of the Semantic Web ontology languages, allows combining the intensional and the extensional model by a feature we refer to as metamodeling. In this paper, we show that the semantics of metamodeling adopted in OWL-Full leads to undecidability of basic inference problems, due to free mixing of logical and metalogical symbols. Based on this result, we propose two alternative semantics for metamodeling: the contextual and the HiLog semantics. We show that SHOIQ— a description logic underlying OWL-DL— extended with metamodeling under either semantics is decidable. Finally, we show how the latter semantics can be used in practice to axiomatize the logical interaction between concepts and metaconcepts.
<br/><br/>
Eagle is a type of RedListSpecies. Thus, RedListSpecies acts as a
metaconcept for Eagle
<br/>
The examples such as the one given above are often dismissed with an argument that “eagle as a species” and “eagle as a set of all individual eagles”
are not the one and the same thing, and should not be referred to using the
same symbol...we simply observe that the word “eagle” in most people’s minds invokes a notion of a “mighty bird of prey.” The interpretation of
this notion as a concept or as an individual is secondary and is often context-dependent, so using different symbols for the same intuitive notion makes the
model unnecessarily complex.

2006-12-01 A propos

PR-OWL: A Bayesian Framework for the Semantic Web

Tags:

2006-11-07 A propos

PR-OWL: A Bayesian Ontology Language for the Semantic Web

Tags:

2006-09-07 A propos

UMBC eBiquity - Publications - Probabilistic Framework for Semantic Web - OWL and Bayesian Networks

Tags:

2006-05-01 A propos

alphaWorks : IBM Web Ontology Manager

Tags: