Robert Stevens
affiliation: University of Manchester
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#61
type: Person
family name: Stevens
first name: Robert

Leo Obrst
affiliation: The MITRE Corporation
type: Person
family name: Obrst
first name: Leo

SPARQL-DL: SPARQL Query for OWL-DL
abstract: There are many query languages (QLs) that can be used to query RDF and OWL ontologies but neither type is satisfactory for querying OWL-DL ontologies. RDF-based QLs (RDQL, SeRQL, SPARQL) are harder to give a semantics w.r.t. OWL-DL and are more powerful than what OWL-DL reasoners can provide. DL-based QLs (DIG ask queries, nRQL) have clear semantics but are not powerful enough in the general case. In this paper we describe SPARQL-DL, a substantial subset of SPARQL for which we provide a clear OWL-DL based semantics. SPARQL-DL is significantly more expressive than existing DL QLs (by allowing mixed TBox/RBox/ABox queries) and can still be implemented without too much effort on top of existing OWL-DL reasoners. We discuss design decisions and practical issues that arise for defining SPARQL-DL and report about our preliminary prototype implemented on top of OWL-DL reasoner Pellet.
keywords: SPARQL
url: http://www.webont.org/owled/2007/PapersPDF/submission_23.pdf
type: InProceedings
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#17
keywords: Query Languages
maker: Evren Sirin
maker: Bijan Parsia

Mariano Rodriguez
affiliation: Free University of Bozen-Bolzano
type: Person
family name: Rodriguez
first name: Mariano

An Extension of DIG 2.0 for Handling Bulk Data
abstract: The research community has noted the need to retrieve the instance level of an ontology from bulk data stored in external data sources (e.g., a relational database), in order to delegate to the external source all aspects of the actual management of the data. To achieve this, several methodologies have been recently developed to represent and reason about what we call here Ontologies with Linking Axioms. However, existing DL reasoners cannot properly deal with such ontologies. Indeed, including the instance level in the communication with a DL reasoner can cause a heavy communication overhead, and goes against the requirement of delegating data management to the external source. To overcome these problems, we present here an extension to the DIG 2.0 Interface that allows for the specification and management of Ontologies with Linking Axioms. The extension is a general framework which can accommodate any type of data source and linking axiom through specific implementations. We also present an implementation aiming at representing axioms linking data sources managed by an RDBMS to an ontology.
type: InProceedings
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#30
maker: Mariano Rodriguez
keywords: data management
maker: Diego Calvanese
keywords: standardization efforts
url: http://www.webont.org/owled/2007/PapersPDF/paper_35.pdf
keywords: implementation issues

Andrew Schain
affiliation: NASA Headquarters
type: Person
family name: Schain
first name: Andrew

Yann Loyer
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#88
type: Person
family name: Loyer
first name: Yann

François Vexler
affiliation: Ardans
type: Person
family name: Vexler
first name: François

Pascal Hitzler
affiliation: AIFB, University of Karlsruhe
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#58
type: Person
family name: Hitzler
first name: Pascal

Baris Sertkaya
affiliation: TU Dresden
type: Person
family name: Sertkaya
first name: Baris

Volker Haarslev
affiliation: Concordia University
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#66
type: Person
family name: Haarslev
first name: Volker

John Goodwin
affiliation: Ordnance Survey
type: Person
family name: Goodwin
first name: John

Zhen Liu
affiliation: IBM T.J. Watson Research Center
type: Person
family name: Liu
first name: Zhen

Aditya Kalyanpur
affiliation: IBM TJ Watson Research Center
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#63
type: Person
family name: Kalyanpur
first name: Aditya

Use case: ontology to support system verification process
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#43
keywords: system engineering
abstract: OWL has been a W3C recommendation since 2004. Despite the growing number of reasonably mature technologies supporting this standard (ontology editors, database storage, bridge with reasoning facilities, etc.), OWL based technology is far to be commonly used for operational applications in industry. At least in our context where one important activity is about complex system engineering, relative little work has been done in applying OWL based technologies to the management of information. This is partly because the added value of using languages of high expressivity such as OWL is not demonstrated to practitioners . This article is about applying OWL in a use case in system engineering area. One nice definition of system engineering is provided in [2]. System engineering is a robust approach to the design, creation and operation of systems. It encompasses the identification and quantification of the system goals, the creation of alternative system design concepts, performance of design trades, selection and implementation of the best design, verification that the design is properly built and integrated, and post-implementation assessment of how well the system meets the goals. We are involved in a pilot that shall contribute at defining complex systems validation and verification (V&V) processes and at specifying some supportive methods and tools for that. Complex system is a term to refer to a system of systems, meaning that complex enough to be decomposed into sub-systems that are systems on their own; and that the system safety cannot be shown solely by test and whose logic is difficult to comprehend without the aid of analytical tools[1] . Due to multi-disciplinarily and project size, sub-systems may be engineered separately, and therefore a strong need exists to supervise, validate and verify that these sub-systems will be appropriately integrated so that the higher system desired behaviours will definitely be achieved. So far the used technologies are relation…
url: http://www.webont.org/owled/2007/PapersPDF/submission_47.pdf
keywords: validation and verification
type: Poster
maker: Anne Monceaux

VIVO Development Roadmap: Enhancing an Ontology-Based University Research Portal with OWL and Rules
type: InProceedings
maker: Jon Corson-Rikert
maker: Brian Lowe
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#11
keywords: Web Ontology Language
url: http://www.webont.org/owled/2007/PapersPDF/submission_17.pdf
keywords: ontologies
keywords: Web portals
maker: Brian Caruso
abstract: VIVO (vivo.cornell.edu), a Virtual Life Sciences Library, is a production Web portal developed by Cornell University Library to pro- vide integrated discovery of life sciences research activities taking place across Cornell's physical, administrative, and disciplinary divisions. The system comprises a custom RDBMS-based knowledgebase store and a Java Web application driving the public portal as well as a Web-based ontology editing interface. The public site oers browsing and searching by instance type, hyperlinked traversal of object relationships, and some simple inferences to aggregate data across multiple object properties. A recent expansion in project scope to encompass scholarly activities across the entire university has prompted an investigation of how more exten- sive use of OWL and rule-based reasoning can leverage the structure of the knowledgebase to serve more diverse query and display requirements.

Christopher Condit
affiliation: SDSC-UCSD
type: Person
family name: Condit
first name: Christopher

Li Chen
affiliation: SDSC-UCSD
type: Person
family name: Chen
first name: Li

Glen Hart
affiliation: Ordnance Survey
type: Person
family name: Hart
first name: Glen

Adding Integrity Constraints to OWL
abstract: Schema statements in OWL are interpreted quite differently from analogous statements in relational databases. If these statements are meant to be interpreted as integrity constraints (ICs), OWL's interpretation may seem confusing and/or inappropriate. Therefore, we propose an extension of OWL with ICs that captures the intuition behind ICs in relational databases. We show that, if the constraints are satisfied, we can disregard them while answering a broad range of positive queries.
url: http://www.webont.org/owled/2007/PapersPDF/submission_9.pdf
maker: Ulrike Sattler
maker: Boris Motik
keywords: integrity constraints
maker: Ian Horrocks
keywords: relational databases
type: InProceedings
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#48

Brian Lowe
affiliation: Cornell University - Albert R. Mann Library
type: Person
family name: Lowe
first name: Brian

Kendall Clark
affiliation: Clark & Parsia LLC
affiliation: ClarkParsia LLC
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#91
type: Person
family name: Clark
first name: Kendall

The OBO to OWL mapping, GO to OWL 1.1!
keywords: Open Biomedical Ontologies
keywords: Gene Ontology
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#23
keywords: OBO format
url: http://www.webont.org/owled/2007/PapersPDF/submission_29.pdf
keywords: OWL OWL1.1 Web Ontology Language
keywords: Mapping
maker: Christine Golbreich
maker: Ian Horrocks
type: InProceedings
abstract: 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 theWeb Ontology Language OWL is theW3C recommended standard for ontologies, converting OBO ontologies to OWL becomes an important need: it will facilitate the sharing and reuse of this important resource and make the expanding range of OWL tools available for use with OBO ontologies. In order to achieve this, we propose a formalisation of the OBO syntax in terms of a BNF style grammar, and a formalisation of the semantics of (a large part of) OBO in terms of a mapping to OWL 1.1. This demonstrates that the OWL 1.1 extension of OWL allows nearly all of the OBO language to be captured.

pc
creator: Sean Bechhofer
type: Ontology
imports: ontology

Sean Bechhofer
affiliation: University of Manchester
type: Person
family name: Bechhofer
first name: Sean

Semantic Web Technologies in Technical Automotive Documentation
type: InProceedings
url: http://www.webont.org/owled/2007/PapersPDF/submission_30.pdf
keywords: Automotive diagnostic
abstract: RDF is the format of choice to exchange data between software components of a corporate system. Thats why we decided to use it in a recent work at Renault, in the field of technical documentation. The prototype of a new repository for repair and diagnostic information was modeled with OWL. REST web services using RDF as data format were built on this repository, to provide access to improved repair and diagnostics methods. This report describes how Semantic Web technologies were used. It is not about the "grand vision" of the Semantic Web, but it could be of interest for those eager to promote the use of these technologies in the enterprise.
maker: François-Paul Servant
keywords: RDF in the enterprise
keywords: RDF based web services
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#25

Ralf Moeller
affiliation: Hamburg University of Technology
label: Ralf Möller
first name: Ralf
type: Person
family name: Möller
family name: Moeller

Natalia Villanueva-Rosales
affiliation: Carleton University
type: Person
family name: Villanueva-Rosales
first name: Natalia

Anton Riabov
affiliation: IBM T.J. Watson Research Center
type: Person
family name: Riabov
first name: Anton

Umberto Straccia
affiliation: ISTI - Italian National Research Council
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#70
type: Person
family name: Straccia
first name: Umberto

Marco Ruzzi
affiliation: DIS, Univ. di Roma "La Sapienza"
type: Person
family name: Ruzzi
first name: Marco

Lisa Fong
affiliation: UCSD
type: Person
family name: Fong
first name: Lisa

Kent Spackman
affiliation: Oregon Health and Science University
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#86
type: Person
family name: Spackman
first name: Kent

Rule-Based Reasoning With A Multi-Scale Neuroanatomical Ontology
keywords: Data integration
abstract: We have demonstrated the use of OWL-based ontologies to infer novel facts from existing knowledge. Using an ontology developed for subcellular anatomy of the nervous system, the SAO, merged with a terminological resource for gross neuroanatomy (Brain Architecture Management System; Bota and Swanson, 2005), we have inferred the existence of axons from the existence of axon terminals and the existence of neurons from the existence of axons. Additionally we have inferred connectivity at a large scale from the existence of synapses at a micro scale. We conclude that OWL is an important technology for merging disparate data and performing multi-scale reasoning.
keywords: Algernon
keywords: Reasoning
type: InProceedings
url: http://www.webont.org/owled/2007/PapersPDF/submission_42.pdf
keywords: Multi-Scale
maker: Stephen Larson
keywords: Protege
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#38
maker: Maryann Martone

Bernhard Ganter
affiliation: TU Dresden
type: Person
family name: Ganter
first name: Bernhard

Bettina Bauer-Messmer
affiliation: Swiss Federal Institute for Forest, Snow and Landscape Research, An Institute of the ETH Board
type: Person
family name: Bauer-Messmer
first name: Bettina

Boris Motik
affiliation: University of Manchester
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#73
type: Person
family name: Motik
first name: Boris

Anne Monceaux
affiliation: EADS-France
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#83
type: Person
family name: Monceaux
first name: Anne

Extending Fuzzy Description Logics for the Semantic Web
url: http://www.webont.org/owled/2007/PapersPDF/submission_12.pdf
keywords: Fuzzy Description Logics
maker: Giorgos Stoilos
keywords: Fuzzy SROIQ
abstract: Fuzzy Description Logics (Fuzzy DLs) and fuzzy OWL have been proposed as languages able to represent and reason about imprecise and vague knowledge. Such extensions have gained considerable attention the last couple of years since on the one hand they are pivotal for applications that are inherently imprecise, like multimedia analysis and retrieval, geospatial applications and more, while on the other hand they can be applied to Semantic Web applications, like querying with preferences, modelling levels of trust and proof and more. In the current paper we extend the current state-of-the-art on fuzzy extensions to Semantic Web languages by presenting the syntax and semantics of the fuzzy-\sroiq DL as well as the abstract, XML syntax and semantics of a fuzzy extension to OWL 1.1. Moreover, we provide reasoning support for a fuzzy version of fuzzy-\sroiq by extending well-known reduction techniques of fuzzy DLs to classical DLs for the additional axioms and constructors of fuzzy-\sroiq.
keywords: Fuzzy OWL 1.1
keywords: Tractable fuzzy DLs
keywords: Reduction to Crisp DLs
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#6
maker: Giorgos Stamou
type: InProceedings

Massimo Paoluccci
affiliation: DoCoMo Euro labs
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#60
type: Person
family name: Paoluccci
first name: Massimo

Dean Allemang
affiliation: TopQuadrant Inc
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#54
type: Person
family name: Allemang
first name: Dean

Extracting Modules from Ontologies: A Logic-based Approach
keywords: Semantic Web
maker: Ian Horrocks
maker: Ulrike Sattler
abstract: The ability to extract meaningful fragments from an ontology is essential for ontology re-use. We propose a definition of a module that guarantees to completely capture the meaning of a given set of terms, i.e., to include all axioms relevant to the meaning of these terms, and study the problem of extracting minimal modules. We show that the problem of determining whether a subset of an ontology is a module for a given vocabulary is undecidable for OWL DL. Hence we propose sufficient conditions for an ontology to be a module: if an ontology satisfies our conditions then we can guarantee that it is a module, but not vice-versa. The conditions we present can be checked in polynomial time for OWL DL ontologies. We present our experimental results on a set of real-world ontologies of varying size and complexity. We show that the modules we obtain are much smaller than the ones computed using existing techniques.
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#35
maker: Bernardo Cuenca Grau
url: http://www.webont.org/owled/2007/PapersPDF/submission_4.pdf
keywords: Ontologies
maker: Yevgeny Kazakov
keywords: Description Logics
type: InProceedings
keywords: Web Ontology Language

Vladimir Kolovski
affiliation: University of Maryland - College Park
type: Person
family name: Kolovski
first name: Vladimir

Antonella Poggi
affiliation: Universita' degli Studi di Roma "La Sapienza"
type: Person
family name: Poggi
first name: Antonella

Sydney OWL Syntax - towards a Controlled Natural Language Syntax for OWL 1.1
abstract: This paper describes a proposed new syntax that can be used to write and read OWL ontologies in Controlled Natural Language (CNL): a well-defined subset of the English language. Following the lead of Manchester OWL Syntax in making OWL more accessible for non-logicians, and building on the previous success of Schwitters PENG (Processable English), the proposed Sydney OWL Syntax enables two-way translation and generation of grammatically correct full English sentences to and from OWL 1.1 Functional Syntax. Used in conjunction with OWL tools, it is designed to facilitate ontology construction and editing by enabling authors to write an OWL ontology in a defined subset of English. It also improves readability and understanding of OWL statements or whole ontologies, by enabling them to be read as English sentences. It is hoped that by providing the option of an intuitive, easy to use English syntax which requires no specialized knowledge, the broader community will be far more likely to develop and benefit from Semantic Web applications. This paper is a discussion paper covering the scope, design, and examples of Sydney OWL Syntax in use, and the authors invite feedback on all aspects of the proposal via email to krr.sydneysyntax@cse.unsw.edu.au. Working drafts of the full specification are available at http://www.ics.mq.edu.au/~rolfs/sos.
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#18
keywords: Semantic Web
maker: Rolf Schwitter
maker: Thomas Meyer
keywords: OWL Syntax
keywords: Ontologies
keywords: Controlled Natural Language
url: http://www.webont.org/owled/2007/PapersPDF/submission_24.pdf
maker: Anne Cregan
type: Poster

Christine Golbreich
affiliation: Université de Versailles
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#77
type: Person
family name: Golbreich
first name: Christine

Describing chemical functional groups in OWL-DL for the classification of chemical compounds
abstract: Functional groups describe the semantics of chemical reactivity in terms of atoms and their connectivity, which exhibit characteristic chemical behavior when present in a compound. In this paper, we take a first step towards designing an ontology of functional groups for the classification of chemical compounds. We highlight the capabilities and limitations OWL 1.0 and the proposed OWL 1.1 in terms of our domain requirements. We also illustrate how cyclic structures may be identified from SWRL rules and suggest OWL-DL extensions for reasoners to achieve this objective. This work represents a preliminary step towards describing, reasoning and querying about structure and function of molecules.
keywords: chemistry
keywords: OWL
type: InProceedings
keywords: functional groups
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#31
keywords: knowledge discovery
url: http://www.webont.org/owled/2007/PapersPDF/submission_36.pdf
maker: Natalia Villanueva-Rosales
maker: Michel Dumontier
keywords: ontology

Vipul Kashyap
affiliation: Partners Healthcare System
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#59
type: Person
family name: Kashyap
first name: Vipul

Structured Ontology Format
keywords: OWL
abstract: This paper presents a simple data model for the representa- tion of OWL ontologies (including the new features of OWL 1.1). The model is built from basic structures native to all common programming environments, so it can be used directly as an API for ontology analy- sis and manipulation. Furthermore, serialization of these structures us- ing the widely-supported YAML standard yields a readable text format suitable for ontology authoring by average users with text editors and code-management tools.
url: http://www.webont.org/owled/2007/PapersPDF/submission_18.pdf
type: InProceedings
keywords: language
maker: Rob Shearer
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#12
keywords: syntax

events
creator: Sean Bechhofer
type: Ontology
imports: ontology

Timo Weithöner
affiliation: Ulm University
type: Person
family name: Weithöner
first name: Timo

Ian Horrocks
affiliation: University of Manchester
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#67
type: Person
family name: Horrocks
first name: Ian

Franz Baader
affiliation: TU Dresden
type: Person
family name: Baader
first name: Franz

Brian Caruso
affiliation: Cornell University - Albert R. Mann Library
type: Person
family name: Caruso
first name: Brian

Anne Cregan
affiliation: NICTA, UNSW
type: Person
family name: Cregan
first name: Anne

Towards a Scalable and Efficient Middleware for Instance Retrieval Inference Services
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#26
abstract: We argue for the usefulness of convenient optimization criteria, when building scalable and efficient instance retrieval inference services for ontology-based applications. We discuss several optimization criteria, especially a dedicated load balancing strategy, evaluate the approach with practical experiments on a particular implementation and present results.
maker: Atila Kaya
keywords: Scalability
keywords: Applications of OWL
maker: Alissa Kaplunova
url: http://www.webont.org/owled/2007/PapersPDF/submission_31.pdf
maker: Tobias Berger
keywords: Optimizations
type: InProceedings
maker: Ralf Moeller

Michael Wessel
affiliation: TUHH
type: Person
family name: Wessel
first name: Michael

Joanne Luciano
affiliation: Harvard Medical School
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#74
type: Person
family name: Luciano
first name: Joanne

Jeff Z. Pan
affiliation: University of Aberdeen
type: Person
family name: Pan
first name: Jeff Z.

Bijan Parsia
affiliation: University of Manchester
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#75
type: Person
family name: Parsia
first name: Bijan

Jesus Prieto-Gonzalez
affiliation: Universidad Politecnica de Madrid
type: Person
family name: Prieto-Gonzalez
first name: Jesus

Kaarel Kaljurand
affiliation: University of Zurich
type: Person
family name: Kaljurand
first name: Kaarel

Guntis Barzdins
affiliation: Institute of Mathematics and Computer Sience, University of Latvia
type: Person
family name: Barzdins
first name: Guntis

A business case of the use of ontologies for knowledge capitalization and exploitation
abstract: Arcelor is currently involved in the industrial trial of ontologies for its necessities of knowledge management. In order to develop knowledge based systems that can be maintained and rolled out, a knowledge modelling phase is rather indispensable. It is a platitude to point out the knowledge acquisition (KA) bottleneck to perform these operations and so the question is to maximise the reuse of the KA investment. Ontologies are naturally the technology to model this knowledge and the topics that are currently addressed are the following: how to use ontologies for knowledge capitalization? How to make them user-friendly for the end-users ? How to use them for software integration? How can we be able to develop large ontologies with the level of quality that can be achieved in the development of large software? How can we represent dynamic knowledge? The current studies aim to give operational answer that can be applied in industrial environments for industrial needs. To that extent, OWL appears as a necessity since it is standardised more than a choice for the basic ontological language
url: http://www.webont.org/owled/2007/PapersPDF/paper_43.pdf
keywords: capitalization
keywords: use of ontologies
keywords: integration
keywords: modelling
type: InProceedings
maker: François-Marie Lesaffre
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#39

Raul Garcia-Castro
affiliation: Universidad Politecnica de Madrid
type: Person
family name: Garcia-Castro
first name: Raul

Daniel Oberle
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#84
type: Person
family name: Oberle
first name: Daniel

Susie Stephens
affiliation: Oracle
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#90
type: Person
family name: Stephens
first name: Susie

Francesca Alessandra Lisi
affiliation: Dipartimento di Informatica - Università degli Studi di Bari
type: Person
family name: Lisi
first name: Francesca Alessandra

OWL SAIQL - An OWL DL Query Language for Ontology Extraction
keywords: Query Language
maker: Steffen Staab
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#7
maker: Simon Schenk
type: Poster
maker: Jeff Z. Pan
keywords: OWL
abstract: 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 SAIQL, the novel Schema And Instance Query Language for OWL DL, that is well suited for ontology extraction. We describe its syntax and explain a basic evaluation strategy. We illustrate the use of SAIQL with an example for ontology extraction and re-use.
keywords: Schema
maker: Alexander Kubias
keywords: Ontology Extraction
url: http://www.webont.org/owled/2007/PapersPDF/submission_13.pdf

Giuseppe De Giacomo
affiliation: University of Roma "La Sapienza"
type: Person
family name: De Giacomo
first name: Giuseppe

Jon Corson-Rikert
affiliation: Cornell University - Albert R. Mann Library
type: Person
family name: Corson-Rikert
first name: Jon

locations
creator: Sean Bechhofer
type: Ontology
imports: ontology

Completing Description Logic Knowledge Bases using Formal Concept Analysis
url: http://www.webont.org/owled/2007/PapersPDF/submission_5.pdf
abstract: We propose an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the knowledge base and by a domain expert. The use of techniques from Formal Concept Analysis ensures that, on the one hand, the interaction with the expert is kept to a minimum, and, on the other hand, we can show that the extended knowledge base is complete in a certain, well-defined sense.
maker: Ulrike Sattler
maker: Baris Sertkaya
keywords: Knowledge Base completion
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#44
type: InProceedings
keywords: Description Logics
maker: Franz Baader
maker: Bernhard Ganter

Tobias Berger
affiliation: Hamburg University of Technology
type: Person
family name: Berger
first name: Tobias

Maurizio Lenzerini
affiliation: Dipartimento di Informatica e Sistemistica, University of Rome "La Sapienza"
type: Person
family name: Lenzerini
first name: Maurizio

Design Principles and Realization Techniques for User Friendly, Interactive, and Scalable Ontology Browsing and Inspection Tools
keywords: Description Logic Systems
keywords: Ontology visualization
keywords: OBIT
keywords: OWL tools
type: InProceedings
maker: Ralf Moeller
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#19
maker: Michael Wessel
keywords: Ontology inspection
url: http://www.webont.org/owled/2007/PapersPDF/submission_25.pdf
abstract: RacerPorter is the default GUI client of the RacerPro description logic system. This paper presents the design principles of RacerPorter as well as the features of the newest version of RacerPorter. RacerPorter has been revised extensively in order to enable it to work with large ontologies (e.g., OpenCyc).

Maryann Martone
affiliation: University of California, San Diego
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#82
type: Person
family name: Martone
first name: Maryann

Ontology-Based Management of the Telehealth Smart Home, Dedicated to Elderly in Loss of Cognitive Autonomy
keywords: Protege2000
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#32
keywords: Telehealth Smart Home
type: Poster
keywords: OWL
url: http://www.webont.org/owled/2007/PapersPDF/submission_37.pdf
abstract: Taking care of an elderly with loss of cognitive autonomy is a challenge for a person. This task can be assisted by an artificial agent, such as the telehealth smart home (TSH) system but the design of such a system is itself also a challenge. In this paper, we present an ontology based model of the TSH, which is designed in a modularized approach and implemented in OWL using Prot´eg´e2000. Our aim is to take advantage of the full potential of these ontologies to describe the domain in order to support effectively the development, the configuration and the carrying out of software applications. The instantiation of the ontologies is, for example, needed to initialize the Bayesian networks whose task is to recognize the activity the patient is probably performing. It is also involved in the learning process of life habits, as well as in the maintenance the system.
maker: Fatiha Latfi
maker: Bernard Lefebvre
maker: Celine Descheneaux
keywords: Ontologies

Olaf Noppens
affiliation: Ulm University
type: Person
family name: Noppens
first name: Olaf

Can OWL model football leagues?
keywords: DL-Lite
keywords: football
keywords: Identification constraints
maker: Maurizio Lenzerini
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#13
maker: Giuseppe De Giacomo
abstract: Identity is one of the main principles in ontology engineering. Mechanisms to identify objects by using attribute values or by their participation to relationships with other objects are present in most conceptual modeling formalisms used in software engineering and database or information system design. Identification mechanisms have also been investigated in expressive Description Logics. However they are currently missing in OWL. In this paper we argue for their usefulness, and we show how to extend DL-Lite_A, a tractable fragment of OWL, with identification assertions without losing tractability of reasoning.
maker: Diego Calvanese
type: InProceedings
maker: Domenico Lembo
maker: Riccardo Rosati
url: http://www.webont.org/owled/2007/PapersPDF/paper_19.pdf
keywords: conceptual modeling

Fatiha Latfi
affiliation: University of Quebec at Montreal (UQAM)
type: Person
family name: Latfi
first name: Fatiha

A survey of requirements for automated reasoning services for bio-ontologies in OWL
maker: C. Maria Keet
abstract: There are few successful applications of automated reasoning over OWL-formalised bio-ontologies, and requirements are often unclearly formulated. Of what is available, usage and prospective scenarios of automated reasoning is often different from the straightforward classification and satisfiability. We list nine types of scenarios and specify the requirements in more detail. Several of these requirements are already possible in practice or at least in theory, others are in need of further research, in particular regarding the linking of the OWL ontology to data, reasoning over roles, and dynamically linking modular ontologies.
url: http://www.webont.org/owled/2007/PapersPDF/submission_20.pdf
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#15
keywords: automated reasoning
keywords: bio-ontologies
maker: Marco Roos
maker: M. Scott Marshall
type: InProceedings
keywords: requirements analysis

Evren Sirin
affiliation: Clark & Parsia, LLC
type: Person
family name: Sirin
first name: Evren

Alissa Kaplunova
affiliation: Hamburg University of Technology
type: Person
family name: Kaplunova
first name: Alissa

Marie Gustafsson
affiliation: School of Humanities and Informatics, University of Skövde
type: Person
family name: Gustafsson
first name: Marie

http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#1
type: Thing
date time: 2007-06-07T23:59:59
tzid: Europe/Vienna

Fons J. Verbeek
affiliation: LIACS, Universiteit Leiden, Imaging and Bioinformatics
type: Person
family name: Verbeek
first name: Fons J.

Alain Léger
affiliation: France Telecom R&D - Research
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#71
type: Person
family name: Léger
first name: Alain

Celine Descheneaux
affiliation: University of Sherbrooke
type: Person
family name: Descheneaux
first name: Celine

Igniting the OWL 1.1 Touch Paper: The OWL API
abstract: This paper describes the design and implementation of an OWL 1.1 API, herein referred to as the OWL API . The API is designed to facilitate the manipulation of OWL 1.1 ontologies at a high level of abstraction for use by editors, reasoners and other tools. The API is based on the OWL 1.1 specification and influenced by the experience of designing and using the WonderWeb API and OWL-based applications. An overview of the basis for the design of the API is discussed along with major API functionality. The API is available from Source Forge: http://sourceforge.net/pro jects/owlapi
url: http://www.webont.org/owled/2007/PapersPDF/submission_32.pdf
maker: Matthew Horridge
maker: Olaf Noppens
maker: Sean Bechhofer
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#27
keywords: Parsing OWL
keywords: OWL 1.1
keywords: API
type: InProceedings
keywords: OWL Implementation

authors
creator: Sean Bechhofer
type: Ontology
imports: ontology

Rob Shearer
affiliation: University of Manchester
type: Person
family name: Shearer
first name: Rob

Pierre Mariot
affiliation: Ardans
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#78
type: Person
family name: Mariot
first name: Pierre

Martins Barinskis
affiliation: Institute of Mathematics and Computer Sience, University of Latvia
type: Person
family name: Barinskis
first name: Martins

Deborah McGuinness
affiliation: Stanford University
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#62
type: Person
family name: McGuinness
first name: Deborah

Marko Luther
affiliation: DoCoMo Euro-Lab, Munich
type: Person
family name: Luther
first name: Marko

Querying multiple sources with OWL ontologies: an exploratory study in an automotive company
maker: Pierre Mariot
type: InProceedings
abstract: Large companies are storing information and knowledge in multiple information systems using various models and formats. A main stake is to retrieve the relevant knowledge for a specific concern. We present an exploratory study using OWL ontologies to solve this problem for a large automotive company. A first mock-up has been built. We describe different questions that arose: how to organize the ontologies? how to communicate with knowledge-based applications? how to support the user for queries formulation? which languages and techniques to use? This paper presents provisory solutions adopted and possible alternatives.
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#40
maker: Christine Golbreich
keywords: SPARQL
keywords: OWL
url: http://www.webont.org/owled/2007/PapersPDF/submission_44.pdf
maker: Alain Berger
keywords: Ontologies
keywords: Manufacturing
maker: Jean-Pierre Cotton
keywords: Knowledge retrieving
maker: François Vexler

C. Maria Keet
affiliation: Faculty of Computer Science, Free University of Bozen-Bolzano, Italy
type: Person
family name: Keet
first name: C. Maria

Ontological Context Visualization
url: http://www.webont.org/owled/2007/PapersPDF/submission_14.pdf
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#8
keywords: OWL
maker: Yun Bei
maker: Julia Dmitrieva
maker: Fons J. Verbeek
type: Poster
keywords: Ontology Visualization
abstract: Ontologies contain information about concepts and their relations. Certain concepts may occur in different ontologies at the same time and these concepts can be used as glue to integrate information from related domains. In support of our efforts to represent information on interesting concepts, we have developed a visualization engine ''ContextVis''. This tool can at the same time, also be used for a visual knowledge mining and inspection of ontology integration. In this paper we present the Ontology Context Visualization with a case study on Alzheimer disease; a typical example in which contextual information on concepts allows to integrate information from different resources.
keywords: Description Logic
keywords: Ontology

Riccardo Rosati
first name: Riccardo
affiliation: DIS, Universita di Roma La Sapienza, Italy
type: Person
affiliation: DIS, Universita Roma La Sapienza
family name: Rosati
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#68

Cláudio Fernandes
affiliation: Universidade de Évora
type: Person
family name: Fernandes
first name: Cláudio

Implementing an RDF/OWL Ontology on Henry the III Fine Rolls
maker: Jose Vieira
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#45
maker: Arianna Ciula
type: InProceedings
keywords: RDF/OWL
keywords: Henry the III
keywords: Authority lists
abstract: This paper will describe the creation of an ontology for information contained in historical documents. It will describe the desired outcomes from the use of an ontology, and how those outcomes were achieved due to the characteristics of RDF/OWL ontologies, thereby facilitating the analysis of implicit and hidden information/associations existing in the historical sources.
keywords: Ontology
url: http://www.webont.org/owled/2007/PapersPDF/submission_6.pdf
keywords: Indices, Search

An Examination of OWL and the Requirements of a Large Health Care Terminology
maker: Kent Spackman
keywords: terminology standards
abstract: This paper presents a brief initial look at some of the possible benefits and barriers to using OWL as the language for the development, dissemination and implementation of terminological knowledge in the domain of health and health care. In particular, this assessment is made from the perspective of the author's role in the development of the Systematized Nomenclature of Medicine (SNOMED). To date, SNOMED has developed and adopted its own special-purpose syntax and formats for terminology development, exchange and distribution. Its representation language has limited expressivity yet is not expressible by any dialect of OWL 1.0. With the evolution to OWL 1.1, the barriers to using OWL for knowledge representation have been resolved. However, partly because of SNOMED's very large size, there remain barriers to adoption of OWL XML/RDF for SNOMED development, distribution or exchange purposes.
type: InProceedings
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#20
url: http://www.webont.org/owled/2007/PapersPDF/submission_26.pdf
keywords: SNOMED
keywords: health care

Giorgos Stamou
affiliation: National and Technical University of Athens
type: Person
family name: Stamou
first name: Giorgos

Giorgos Stoilos
affiliation: National and Technical University of Athens
type: Person
family name: Stoilos
first name: Giorgos

Use of OWL for describing Stream Processing Components to enable Automatic Composition
keywords: OWL
keywords: Stream Processing
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#33
maker: Zhen Liu
maker: Anand Ranganathan
type: InProceedings
abstract: Stream Processing Applications analyze large volumes of streaming data in real-time. These applications, consist of data sources, which produce raw streams, and processing elements, which operate on the streams to produce new derived streams. In this paper, we describe an OWL-based model for describing these stream processing components. The streams produced by data sources are described as RDF graphs, consisting of OWL ABox assertions. The input requirements and output capabilities of PEs are described using RDF graph patterns. The main use of this model is to allow automatic composition of applications that produce certain desired results. Our model allows us to answer two key questions in automatic composition: can a certain stream be given as input to a processing element, and what are the new streams produced as a result. Based on this model, we outline a planning approach to automatic application composition.
keywords: Component Model
keywords: Automatic Composition
url: http://www.webont.org/owled/2007/PapersPDF/submission_38.pdf
maker: Anton Riabov

Atila Kaya
affiliation: Hamburg University of Technology
type: Person
family name: Kaya
first name: Atila

Julia Dmitrieva
affiliation: LIACS, Universiteit Leiden, Imaging and Bioinformatics
type: Person
family name: Dmitrieva
first name: Julia

Marco Roos
affiliation: Faculty of Science, University of Amsterdam
type: Person
family name: Roos
first name: Marco

Caterina Caracciolo
affiliation: FAO
type: Person
family name: Caracciolo
first name: Caterina

M. Scott Marshall
affiliation: Faculty of Science, University of Amsterdam
type: Person
family name: Marshall
first name: M. Scott

Nuno Lopes
affiliation: Universidade de Evora
type: Person
family name: Lopes
first name: Nuno

Göran Falkman
affiliation: School of Humanities and Informatics, University of Skövde
type: Person
family name: Falkman
first name: Göran

Norbert Fuchs
affiliation: University of Zurich
type: Person
family name: Fuchs
first name: Norbert

Lege Feliciter: Using Structured English to represent a Topographic Hydrology Ontology
maker: John Goodwin
keywords: Structured English
type: Poster
url: http://www.webont.org/owled/2007/PapersPDF/submission_1.pdf
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#3
keywords: topography
keywords: OWL
keywords: Semantics
keywords: ontology
abstract: The mathematical nature of description logics has meant that domain experts find it hard to understand. This forms a significant impediment to the creation and adoption of ontologies. A number of approaches are being taken to attempt to mitigate this problem. The two most common approaches are to provide an English like syntactic veneer to OWL, or to provide a way to convert OWL statements to English to render them more readable. This paper introduces a constrained English language called Rabbit that has been designed to better enable domain experts to author ontologies in a way that is understandable to them. Rabbit is intended to improve on existing methods through: greater clarity of expression due to the involvement of the domain expert both in the development of Rabbit, its authoring and use; the ability to hide certain modelling complexities and optimisations; and encouragement, through its grammar, to produce short sentences that are more easily interpretable. We see Rabbit as complementary to OWL, extending its reach to those who need to author and understand domain ontologies but from whom descriptions logics are difficult to comprehend.
maker: Glen Hart
maker: Catherine Dolbear

Guus Schreiber
affiliation: Free University Amsterdam
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#51
type: Person
family name: Schreiber
first name: Guus

Yun Bei
affiliation: LIACS, Universiteit Leiden, Imaging and Bioinformatics
type: Person
family name: Bei
first name: Yun

Henson Graves
affiliation: Lockheed Martin Aeronautics Company
type: Person
family name: Graves
first name: Henson

Bernard Lefebvre
affiliation: University of Quebec at Montreal (UQAM)
type: Person
family name: Lefebvre
first name: Bernard

http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#2
type: Thing
date time: 2007-06-06T00:00:00
tzid: Europe/Vienna

Deborah Nichols
affiliation: The MITRE Corporation
type: Person
family name: Nichols
first name: Deborah

Alan Ruttenberg
affiliation: Science Commons
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#76
type: Person
family name: Ruttenberg
first name: Alan

Thomas Meyer
affiliation: National ICT Australia
type: Person
family name: Meyer
first name: Thomas

Ontology-based data access with MASTRO
maker: Antonella Poggi
keywords: description logics
keywords: ontologies
keywords: ontology-based data access
url: http://www.webont.org/owled/2007/PapersPDF/submission_33.pdf
maker: Marco Ruzzi
keywords: data integration
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#28
abstract: In several IT application areas, clients need to access the services exported by the system, thus requiring a representation of their application domain in terms of which they can specify the access to the services exported by such systems. One of the most interesting usages of such a shared conceptualization is ontology-based data access, where a conceptual layer is exported to the client, abstracting away from how actual data is maintained. Therefore, an ontology-based data access system has to adress the impedance mismatch" issue, existing between data actually present at the sources, and objects represented at the intensional level. In this demo, we present MASTRO, an ontology-based data access system that provides provides tractable reasoning over an ontology, laying over an autonomous relational DBMS managing the data layer.
type: Poster

Rolf Schwitter
affiliation: Macquarie University
type: Person
family name: Schwitter
first name: Rolf

Yevgeny Kazakov
affiliation: University of Manchester
type: Person
family name: Kazakov
first name: Yevgeny

Arlen Griffey
affiliation: NASA Shared Services Center
type: Person
family name: Griffey
first name: Arlen

Amarnath Gupta
affiliation: University of California, San Diego
type: Person
family name: Gupta
first name: Amarnath

Requirements for the treatment of multilinguality in ontologies within FAO
url: http://www.webont.org/owled/2007/PapersPDF/submission_45.pdf
type: Poster
keywords: ontologies
abstract: International organizations like FAO are intrinsically multilingual. FAO is currently experimenting with semantic-oriented technologies based on ontologies, with the purpose of integrating data across various information systems and providing better services to end users. However, in order for these technologies to be used in real-life scenarios, models and tools for accommodating and managing multilingual data are needed. This paper analyzes the requirements for the treatment of multilinguality as resulting from the experience we gained at FAO.
maker: Margherita Sini
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#41
keywords: multilinguality
maker: Caterina Caracciolo

Stephan Lamont
affiliation: UCSD
type: Person
family name: Lamont
first name: Stephan

Reasoning with OWL-DL in Inductive Logic Programming
keywords: Ontologies
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#9
keywords: Rules
type: InProceedings
abstract: The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Programming (ILP) with respect to other approaches to concept learning. We argue that ILP can not ignore the latest developments in Knowledge Engineering such as ontologies and formalisms based on Description Logics. In this paper we present an experience with OWL-DL reasoners in ILP within the application context of the Semantic Web.
url: http://www.webont.org/owled/2007/PapersPDF/submission_15.pdf
keywords: Knowledge Representation and Reasoning
keywords: Description Logics
keywords: Inductive Logic Programming
maker: Francesca Alessandra Lisi

Ulrike Sattler
first name: Ulrike
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#69
affiliation: University of Manchester
affiliation: The University of Manchester
type: Person
family name: Sattler

Stephen Larson
affiliation: UCSD
type: Person
family name: Larson
first name: Stephen

papers
creator: Sean Bechhofer
type: Ontology
imports: ontology

Edward Thomas
affiliation: University of Aberdeen
type: Person
family name: Thomas
first name: Edward

Domenico Lembo
affiliation: DIS, Univ. di Roma "La Sapienza"
type: Person
family name: Lembo
first name: Domenico

Experiences in Modeling Clinical Examinations in Oral Medicine Using OWL
keywords: experience report
url: http://www.webont.org/owled/2007/PapersPDF/submission_7.pdf
maker: Marie Gustafsson
type: InProceedings
maker: Göran Falkman
abstract: This article describes the modeling of clinical examinations in oral medicine using OWL. Based on experiences from our previous work and knowledge model, requirements for an ontology for examinations in oral medicine are identified. OWL can be used to address most, but not all, of the requirements. We found a lack of guidance for several design choices and for development of OWL ontologies at different levels of sophistication. However, using OWL gives us the ability to come back and refine the knowledge model after initial deployment.
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#46
keywords: health care

Michel Dumontier
affiliation: Carleton University
type: Person
family name: Dumontier
first name: Michel

Asunción Gómez-Pérez
affiliation: Ontology Engineering Group. Laboratorio de Inteligencia Artificial. Facultad de Informática. Universidad Politécnica de Madrid.
type: Person
family name: Gómez-Pérez
first name: Asunción

Salvador Abreu
affiliation: Universidade de Evora
type: Person
family name: Abreu
first name: Salvador

Anand Ranganathan
affiliation: IBM T.J. Watson Research Center
type: Person
family name: Ranganathan
first name: Anand

Suzette Stoutenburg
affiliation: The MITRE Corporation
type: Person
family name: Stoutenburg
first name: Suzette

3rd OWL: Experiences and Directions Workshop
summary: 3rd OWL: Experiences and Directions Workshop
complete graph: complete
dtstart: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#2
has acronym: OWLED2007
comment: The W3C OWL Web Ontology Language has been a W3C recommendation since 2004. Today OWL is playing an important role in an increasing number of applications and range of domains. Therefore, it is the right time to analyse feedback from users and to discuss how OWL can be applied, adapted and extended to fulfill current and future application demands. The OWL: Experiences and Direction (OWLED) workshop series is a forum for practitioners in industry and academia, tool developers, and others interested in OWL to describe real and potential applications, to share experience, and to discuss requirements for language extensions/modifications. At OWLED 2006 it was agreed to move forward with a member submission of the OWL 1.1 proposal which extends OWL DL in ways that have been requested by users, that have effective reasoning algorithms, and that developers of OWL reasoning systems are willing to support. The OWL 1.1 specification has recently been accepted as a member submission, and is available on the W3C's website at http://www.w3.org/Submission/2006/SUBM-owl11-overview-20061219/. The 3rd OWL: Experiences and Directions workshop (OWLED 2007) will again bring users, implementors and researchers together in order to measure the current state of need against the state of the art and to set an agenda for language evolutions that satisfy users. OWLED 2007 shall in particular present industrial efforts and experiences with OWL. It shall further the interaction between industry, theoreticians and tool builders, help consolidate OWL 1.1, clarify the relationships between OWL and rules and initiate the specification of OWL 2.0. Building on the success of the 2005 OWLED and the 2006 OWLED workshops, the 2007 OWLED workshop will again be immediately after one of the main Semantic Web conferences, namely the ESWC conference, and is colocated with the First International Conference on Web Reasoning and Rule Systems, RR2007.
dtend: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#1
url: http://www.webont.org/owled/2007
is sub event of: http://data.semanticweb.org/conference/eswc/2007
has location: Congress Innsbruck
type: WorkshopEvent

On Querying Ontologies with Contextual Logic Programming
url: http://www.webont.org/owled/2007/PapersPDF/submission_27.pdf
maker: Cláudio Fernandes
keywords: Semantic web
keywords: Contextual Logic Programming
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#21
maker: Salvador Abreu
type: Poster
abstract: We describe a system in which Contextual Logic Program- ming is used as a mediator for knowledge modeled by ontologies. Our system provides the components required to behave as a SPARQL query engine and, as a result of its Logic Programming heritage, it may also recursively interrogate other ontologies or data repositories, providing a semantic integration of multiple sources.
maker: Nuno Lopes

Peter Fox
affiliation: HAO/ESSL/NCAR
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#55
type: Person
family name: Fox
first name: Peter

Rolf Grütter
affiliation: Swiss Federal Institute for Forest, Snow and Landscape Research, An Institute of the ETH Board
type: Person
family name: Grütter
first name: Rolf

Derek Sleeman
affiliation: University of Aberdeen
type: Person
family name: Sleeman
first name: Derek

Current and future uses of OWL for scientific data frameworks: successes and limitations
type: InProceedings
url: http://www.webont.org/owled/2007/PapersPDF/submission_39.pdf
keywords: Scientific Data
maker: Peter Fox
abstract: Based on almost three years of experience in developing and deploying scientific data frameworks built using semantic technologies, we now have a production virtual observatory in operation, serving two broad communities: solar physics and terrestrial upper atmospheric physics. Within this application, a data framework provides online location, retrieval, and analysis services to a variety of heterogeneous scientific data sources that are often highly distributed over the internet. In this paper, we describe selected current and planned uses of OWL-DL, related tools, and our deployment. We describe both successes and limitations we have found to date using OWL-based technologies, especially tool support. We also indicate the important components we require from a robust technical infrastructure as we move forward with expanding the functionality of the frameworks. This expansion includes additional semantic representation and reasoning/query services as well as broadening the scope of our scientific disciplines.
keywords: Virtual Observatory
keywords: Semantic Integration
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#34
maker: Deborah McGuinness

Gary Ng
affiliation: webMethods Inc.
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#52
type: Person
family name: Ng
first name: Gary

Margherita Sini
affiliation: FAO
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#50
type: Person
family name: Sini
first name: Margherita

Representing Phenotypes in OWL
keywords: phenotype
url: http://www.webont.org/owled/2007/PapersPDF/paper_40.pdf
keywords: qualities
type: InProceedings
abstract: Accurate representation of phenotypes using ontologies is important in biology and biomedicine. This paper describes the OWL translation of our methodology for representing phenotypes using ontologies in the OBO Foundry.
keywords: OBO
keywords: biology
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#36
maker: Chris Mungall
keywords: OWL

Sebastian Böhm
affiliation: DoCoMo Euro-Lab, Munich
type: Person
family name: Böhm
first name: Sebastian

Ruth West
affiliation: UCSD
type: Person
family name: West
first name: Ruth

William Bug
affiliation: Drexel University College of Medicine
type: Person
family name: Bug
first name: William

IBSE: An OWL Interoperability Evaluation Infrastructure
maker: Jesus Prieto-Gonzalez
keywords: interoperability
keywords: owl
maker: Raul Garcia-Castro
maker: Asunción Gómez-Pérez
abstract: The technology that supports the Semantic Web presents a great diversity and, while all these tools use different kinds of ontologies, not all share a common knowledge representation model, which causes a problem when these tools try to interoperate. The Knowledge Web European Network of Excellence is organizing the benchmarking of the interoperability of ontology tools using OWL as interchange language with the goal of assessing and improving tool interoperability. This paper shows how we have developed IBSE, an evaluation infrastructure that allows to automatically execute the benchmarking experiments and provides an easy way of analysing the results. Furthermore, including new tools into the evaluation infrastructure is simple and straightforward.
keywords: benchmarking
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#4
url: http://www.webont.org/owled/2007/PapersPDF/submission_10.pdf
type: InProceedings

Simon Schenk
affiliation: University of Koblenz-Landau
type: Person
family name: Schenk
first name: Simon

Ontologies in OWL for Rapid Enterprise Integration
maker: Leo Obrst
maker: Suzette Stoutenburg
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#14
maker: Deborah Nichols
abstract: Ontologies enable explicit expression of collective concepts and support Machine-to-Machine (M2M) interactions at the semantic level. Ontologies expressed in a standard language, such as the Web Ontology Language (OWL) and exposed on a network offer the potential for unprecedented interoperability solutions since they are semantically rich, computer understandable and inherently extensible. In this paper, we describe how we applied ontologies in OWL for rapid enterprise integration of heterogeneous data sources. We found that once a robust foundational domain ontology is established, it is easy and quick to integrate new data sources and therefore rapidly provide new system capabilities.
url: http://www.webont.org/owled/2007/PapersPDF/submission_2.pdf
keywords: Agile systems
keywords: Ontology
type: InProceedings
keywords: Enterprise integration
keywords: Service-oriented architecture
keywords: Semantic Web

Alexander Kubias
affiliation: University of Koblenz-Landau
type: Person
family name: Kubias
first name: Alexander

Peter Haase
affiliation: University of Karlsruhe
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#56
type: Person
family name: Haase
first name: Peter

Verbalizing OWL in Attempto Controlled English
keywords: ontologies
maker: Norbert Fuchs
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#16
type: InProceedings
keywords: OWL
keywords: Attempto Controlled English
abstract: 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 style is adopted for OWL individuals, classes, and properties.
url: http://www.webont.org/owled/2007/PapersPDF/submission_22.pdf
keywords: verbalization
maker: Kaarel Kaljurand
keywords: controlled natural languages

Jean-Pierre Cotton
affiliation: Ardans
type: Person
family name: Cotton
first name: Jean-Pierre

Chris Mungall
affiliation: Lawrence Berkeley National Laboratory
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#79
type: Person
family name: Mungall
first name: Chris

Peter Patel-Schneider
affiliation: Bell Labs Research
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#57
type: Person
family name: Patel-Schneider
first name: Peter

Hans Teijgeler
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#87
type: Person
family name: Teijgeler
first name: Hans

Carsten Lutz
affiliation: TU Dresden
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#64
type: Person
family name: Lutz
first name: Carsten

ONTOSEARCH2: Searching Ontologies Semantically
maker: Derek Sleeman
maker: Jeff Z. Pan
maker: Edward Thomas
keywords: Semantic Web
keywords: Fuzzy query
keywords: Ontology
url: http://www.webont.org/owled/2007/PapersPDF/submission_34.pdf
type: InProceedings
abstract: While the Web makes an increasing number of ontologies widely available for applications, how to discover ontologies becomes a more challenging issue. Existing approaches are mainly based on keywords and metadata information of ontologies, rather than semantic entailments of ontologies. In this paper, we present an ontology search engine, called ONTOSEARCH2, which provide three approaches to searching ontologies semantically. These approaches take the advantages of ONTOSEARCH2's efficient query answering capability.
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#29
keywords: Search

Masako Terada
affiliation: UCSD
type: Person
family name: Terada
first name: Masako

Congress Innsbruck
type: Place
based near: Innsbruck

Diego Calvanese
affiliation: Free University of Bozen-Bolzano
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#53
type: Person
family name: Calvanese
first name: Diego

Catherine Dolbear
affiliation: Ordnance Survey of Great Britain
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#49
type: Person
family name: Dolbear
first name: Catherine

Hey! You Got Imperative in My Declarative, or A Mashup Made in Heaven: Making OWL friendlier with Javascript.
keywords: Domain specific languages
keywords: Active values
keywords: Computed properties
url: http://www.webont.org/owled/2007/PapersPDF/submission_46.pdf
keywords: Javascript
maker: Alan Ruttenberg
type: Poster
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#42
abstract: We propose that OWL 1.1 incorporate the use of Javascript. By choosing to make use of Javascript within OWL, adoption and utility of OWL might be improved in two different ways. First, it could be used in a facility that lets users specify Javascript code to translate domain specific languages into OWL. Second, Javascript is well known to a large number of web developers. By enabling OWL documents to have property values that are computed by Javascript functions, we extend the language in a useful way, and encourage the use of OWL in different applications than it might otherwise be used. OWL needs a method of extending its syntax to enable concise expression of domain statements without compromising its expressiveness. For example, a current debate over the whether to use OWL as the "native" format for the OBO ontologies, is driven (away from using OWL) by OWL's unappealing syntax and the relative ease of understanding OBO's current format. We describe a model for how to use Javascript, included as part of an OWL ontology, to parse domain specific languages into native OWL. Two levels of operation are distinguished, the first a lexical translation into a language which extends the functional syntax, and a second macro expansion which translates the extended functional syntax to expressions that only use the defined OWL vocabulary. For an implementation of computed property values, we propose that they have a status similar to annotation properties, in that they are not reasoned over. Instead they can be computed in terms of non-annotation property values. In this way, we allow for useful expressivity gains without complicating the OWL reasoning or imposing a complicated evaluation model. We discuss what access to the environment, such as the ability to query against the ontology, could profitably (and safely) be had by these scripts. Use cases motivated from experience in validating BioPAX and from other applications are provided. Javascript interpreters are availa…

Mother, May I? OWL-based Policy Management at NASA
keywords: description logics
url: http://www.webont.org/owled/2007/PapersPDF/submission_16.pdf
maker: Andrew Schain
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#10
keywords: policy language
maker: Kendall Clark
maker: Michael Smith
maker: Arlen Griffey
keywords: policy analysis
type: InProceedings
abstract: Among the challenges of managing NASAs information systems is the management (coordination, verification and validation, and enforcement) of many different role-based access control policies and mechanisms. This paper describes an actual data federation use case that demonstrates the inefficiencies created by this challenge and presents an approach to reducing these inefficiencies using OWL. The focus is on the representation of XACML policies in DL, but the approach generalizes to other policy languages.
maker: Vladimir Kolovski
keywords: knowledge representation
keywords: policy management

Rinke Hoekstra
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#80
type: Person
family name: Hoekstra
first name: Rinke

Steffen Staab
affiliation: University of Koblenz-Landau
type: Person
family name: Staab
first name: Steffen

Combining OWL with RCC for Spatioterminological Reasoning on Environmental Data
keywords: Web Ontology Language (OWL)
keywords: Environmental Data
type: InProceedings
abstract: A new approach to spatioterminological reasoning is presented which is based on a hybrid knowledge representation system architecture and on a representation of the RCC family tree in OWL. The knowledge base into which the family tree is imported holds role assertions in terms of RCC-8 relations between individual regions. It is a key component of a semantic layer constructed on top of an environmental database which aims at facilitating access to users by supporting a sophisticated while easy-to-use search engine. Issues of world assumption and spatial extension to OWL are discussed.
maker: Bettina Bauer-Messmer
keywords: Region Connection Calculus (RCC)
maker: Rolf Grütter
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#47
url: http://www.webont.org/owled/2007/PapersPDF/submission_8.pdf
keywords: Knowledge Representation System
keywords: Spatioterminological Reasoning

Bernardo Cuenca Grau
affiliation: University of Manchester
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#65
type: Person
family name: Cuenca Grau
first name: Bernardo

Satisfiability Model Visualization Plugin for Deep Consistency Checking of OWL Ontologies
maker: Martins Barinskis
keywords: Minimal model
type: Poster
maker: Guntis Barzdins
keywords: OWL
keywords: Protege
url: http://www.webont.org/owled/2007/PapersPDF/submission_28.pdf
abstract: We present an original Protege plugin developed for the deep consistency checking of OWL ontologies. The plugin constructs and visualizes a minimal satisfiability model of the ontology, which is likely to uncover potential ontological errors: if the constructed model contradicts the authors intentions, then the ontology itself is either wrong or incomplete. A satisfiability model is generated using Mace4, a first-order logic (FOL) finite model builder, from the FOL formulas corresponding to the OWL ontology definition. The constructed satisfiability model is visualized using an original music score notation plugin of Protege.
keywords: Satisfiability model
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#22
keywords: First-Order Logic

Arianna Ciula
affiliation: Centre for Computing in the Humanities, King's College London
type: Person
family name: Ciula
first name: Arianna

Jose Vieira
affiliation: Centre for Computing in the Humanities, King's College London
type: Person
family name: Vieira
first name: Jose

François-Paul Servant
affiliation: Renault
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#85
type: Person
family name: Servant
first name: François-Paul

Alain Berger
affiliation: Ardans
type: Person
family name: Berger
first name: Alain

François-Marie Lesaffre
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#81
affiliation: Arcelor
family name: Lesaffre
first name: François-Marie
family name: lesaffre
label: fm lesaffre
type: Person
first name: fm

An Ontology-Driven Knowledge Environment For Subcellular Neuroanatomy
maker: Li Chen
keywords: Database
maker: Stephen Larson
maker: William Bug
keywords: Reasoning
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#37
maker: Christopher Condit
maker: Maryann Martone
maker: Ruth West
maker: Stephan Lamont
keywords: Nervous System
keywords: Protege
type: InProceedings
maker: Amarnath Gupta
abstract: The nervous system, perhaps more so than any other tissue, requires the fine spatial resolution of high resolution microscopy to resolve the intricate structure of individual nerve cells and supracellular domains. The analysis of such imaging data often involves the extraction of cellular surfaces and cell components. The resulting geometries are used to derive measurements or, when combined with additional information, as the basis of a computational model. In an effort to streamline the process of model creation, we are working to create a knowledge environment where researchers can access well-annotated geometrical models of neuronal ultrastructure and a knowledge base of cell structure. Underlying this system is a formal ontology that describes the subcellular anatomy of the nervous system (SAO), covering nerve cells and their processes. In this report, we describe the structure and content of the SAO along with SAO-based tools for annotation and query of electron microscopic data.
maker: Lisa Fong
keywords: Data Integration
maker: Masako Terada
url: http://www.webont.org/owled/2007/PapersPDF/submission_41.pdf

Daniel Rubin
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#89
type: Person
family name: Rubin
first name: Daniel

DIG 2.0 Reference Middleware
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#5
url: http://www.webont.org/owled/2007/PapersPDF/submission_11.pdf
maker: Thorsten Liebig
keywords: infrastructure
maker: Timo Weithöner
maker: Marko Luther
maker: Sebastian Böhm
type: InProceedings
keywords: DIG
abstract: The DIG protocol, the de-facto standard for the communication with DL/OWL reasoners, is currently being updated to align with OWL 1.1 and to add previously missing functionality. This demo describes the DIG Reference Middleware which mediates between different DIG protocol versions, routes requests to appropriate server components, and provides retraction and told access functionality of DIG 2.0.

Michael Smith
affiliation: Clark & Parsia LLC
type: Person
family name: Smith
first name: Michael

Thorsten Liebig
affiliation: Ulm University
holds role: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#72
type: Person
family name: Liebig
first name: Thorsten

Ontology Engineering For Product Development
type: InProceedings
keywords: Formal Semantics
keywords: Ontology Engineering
author list: http://lodlaundromat.org/.well-known/genid/97ad4adf4d324bb744a2e05e3dcc4922#24
abstract: This ontology analysis aims to provide a logical foundation for a product development information system. The analysis is the direct result of six years of experience in developing and implementing an information system for a large aerospace program. The information system uses an ontology to organize and structure data. The ontology is configured with a knowledge base to represent product specific information. The logical foundation is to be used to extend the current system to provide deductive question answering, validation of data products against specifications for the data, and validation of chains of design evidence with respect to evidence construction rules. The ontology analysis indicates need for the expressiveness found in OWL-DL, as well as additional expressiveness for a logical equality and a functional calculus. An alternative to the standard first order representation of OWL-DL is proposed.
url: http://www.webont.org/owled/2007/PapersPDF/submission_3.pdf
keywords: Product Development
maker: Henson Graves
keywords: OWL DL

Matthew Horridge
affiliation: The University of Manchester
type: Person
family name: Horridge
first name: Matthew