Ontologies – Semantic Web – OWL rdf

theses, journal publications, conference papers, and technical reports

thechiselgroup.org/ Shrimp Jambalaya Creole

Searching over 10,000 ontologies

Fabien Gandon INRIA

Dans un système d'information, un petit peu de sémantique peut vous emmener très loin... Nous vous invitons à la découverte de la notion d'ontologie et de ses applications.

The OWL Web Ontology Language is designed for use by applications that need to process the content of information instead of just presenting information to humans. OWL facilitates greater machine interpretability of Web content than that supported by XML, RDF, and RDF Schema (RDF-S) by providing additional vocabulary along with a formal semantics. OWL has three increasingly-expressive sublanguages: OWL Lite, OWL DL, and OWL Full.

Le W3C publie le Langage d'Ontologies Web en Recommandation Candidate OWL, standard émergeant des ontologies Web, renforce les fondations du Web Sémantique

The National Center for Biomedical Ontology is a consortium of leading biologists, clinicians, informaticians, and ontologists who develop innovative technology and methods allowing scientists to create, disseminate, and manage biomedical information and knowledge in machine-processable form.

The Semantic Web provides a common framework that allows data to be shared and reused across application, enterprise, and community boundaries. It is a collaborative effort led by W3C with participation from a large number of researchers and industrial partners. It is based on the Resource Description Framework (RDF).

is maintained by Barry Smith. It contains information on ontology, on the history of ontology, and on contemporary ontology and its applications, with special reference to the area of biomedicine.

Conceptual graphs (CGs) are a system of logic based on the existential graphs of Charles Sanders Peirce and the semantic networks of artificial intelligence. They express meaning in a form that is logically precise, humanly readable, and computationally tractable. With their direct mapping to language, conceptual graphs serve as an intermediate language for translating computer-oriented formalisms to and from natural languages.

for Information Systems, Software Engineering and Service Science - Amsterdam, The Netherlands, June 8, 2009

Table of Contents Full Papers Short Papers

Stanford Center for Biomedical Informatics Research

Protégé is a free, open source ontology editor and knowledge-base framework.

An AI tool for the real world javaworld.com

Protégé is available from this site as a free download along with plug-ins and ontologies.

OpenCyc is the open source version of the Cyc technology, the world's largest and most complete general knowledge base and commonsense reasoning engine. OpenCyc can be used as the basis of a wide variety of intelligent applications

This describes the minimal interface an ontology query engine should provide. It intentionally doesn't make explicit references to the ontology being a DAG, nor does it mandate that the ontology be a vocabulary. Rather, it tries to generically express what should be accessible (queriable) about an ontology.

Jena is a Java framework for building Semantic Web applications. It provides a programmatic environment for RDF, RDFS and OWL, SPARQL and includes a rule-based inference engine. Jena is open source and grown out of work with the HP Labs Semantic Web Programme. The Jena Framework includes: A RDF API. Reading and writing RDF in RDF/XML, N3 and N-Triples. An OWL API. In-memory and persistent storage. SPARQL query engine (Query Language for RDF).

Pellet is an open source reasoner for OWL 2 DL in Java. It provides standard and cutting-edge reasoning services for OWL ontologies.

by kadarb, lukacsy

DLog is an Description Logic ABox reasoner that uses resolution. The basic idea is that a DL knowledge base is transformed into a Prolog program without any knowledge on the content of the ABox. The answers are obtained during normal Prolog execution.

OWLIM is a high-performance semantic repository developed in Java. It is packaged as a Storage and Inference Layer (SAIL) for the Sesame RDF framework. OWLIM is based on TRREE ? a native RDF database and rule-entailment engine.

a community site to support the development of Sesame. Sesame is an open source framework for storage, inferencing and querying of RDF data. Here, developers and users can meet and discuss, ask questions and submit problem reports for anything related to Sesame and Sesame-related software that is also hosted on this site.

Tools for Semantic Web Rules and Ontologies, The first open source platform for semantic web business rules.

Supporting RuleML, Jess, XSB, CommonRules, Jena, OWL, and SWRL, via XML and RDF. In Java. including Translation, Inferencing, Analysis, and Authoring.

A result of my research into optimising tableaux subsumption algorithms has been the development of the FaCT system. FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reasoners, one for the logic SHF (ALC augmented with transitive roles, functional roles and a role hierarchy) and the other for the logic SHIQ (SHF augmented with inverse roles and qualified number restrictions), both of which use sound and complete tableaux algorithms.

FaCT's most interesting features areits expressive logic, its support for reasoning with arbitrary knowledge bases , its optimised tableaux implementation, its CORBA based client-server architecture.

FaCT is written in Common Lisp, and has been run successfully with several commercial and free lisps, including Allegro, Liquid (formerly Lucid), Lispworks and GNU. As the source code is available (under the GNU general public license), FaCT can be run on any system where a suitable Lisp is available.

FaCT++ is the new generation of the well-known FaCT OWL-DL reasoner. FaCT++ uses the established FaCT algorithms, but with a different internal architecture. Additionally, FaCT++ is implementated using C++ in order to create a more efficient software tool, and to maximise portability. New optimisations have also been introduced, and some new features added.

Prof. Dr. Volker Haarslev (Montreal) Prof. Dr. Ralf Möller (Hamburg) Kay Hidde, Michael Wessel

Racer handles large Aboxes in combination with large and expressive Tboxes. It provides highly optimized standard and non-standard inference services for sophisticated ontology applications. Racer offers much more than OWL by supporting rules, constraint reasoning, and expressive query answering (e.g., in SPARQL syntax). The Racer query language nRQL (new Racer Query Language, pronounce: niracle and hear as miracle) offers grounded conjunctive queries with head projection operators, negation as failure, aggregation operators, and server-side processing of query results (e.g., XML generation) Data persistency is provided by referring to AllegroGraph, an extremely fast triple store providing access to billions of triples.

WordNet® is a large lexical database of English, developed under the direction of George A. Miller. Nouns, verbs, adjectives and adverbs are grouped into sets of cognitive synonyms (synsets), each expressing a distinct concept.

by bmotik, digitalis

KAON is an ontology management infrastructure targeted for business applications. It includes a comprehensive tool suite allowing easy ontology creation and management. Persistence mechanisms of KAON are based on relational databases.

KAON2 is an infrastructure for managing OWL-DL, SWRL, and F-Logic ontologies. It was produced by the joint effort of the following institutions:

KAON2 provides the following features: An API for programmatic management of OWL-DL, SWRL, and F-Logic ontologies, A stand-alone server providing access to ontologies in a distributed manner using RMI, An inference engine for answering conjunctive queries (expressed using SPARQL syntax), A DIG interface, allowing access from tools such as Protégé, A module for extracting ontology instances from relational databases.

Reasoning in KAON2. Contrary to most currently available DL reasoners, such as FaCT, FaCT++, RACER, DLP or Pellet, KAON2 does not implement the tableaux calculus. Rather, reasoning in KAON2 is implemented by novel algorithms which reduce a SHIQ(D) knowledge base to a disjunctive datalog program.

OntoVista is an ontology visualization tool, with unique capabilities related to complex (representationally rich) biological and biochemical ontologies.

A TouchGraph Visualization Tab for Protégé

Frédéric Fürst 2004 École Polytechnique de lUniv. de Nantes

Thomas Gruber 1993

Introduces the notion that ontologies are design and should be amenable to engineering methodologies. Proposes five design criteria for ontologies.

Fabien GANDON, Rose DIENG, Alain GIBOIN Projet ACACIA INRIA Sophia Antipolis

arXiv Nikolaj Glazunov 9 Jun 2009

Abstract: I discuss (ontologies_and_ontological_knowledge_bases / formal_methods_and_theories) duality and its category theory extensions as a step toward a solution to Knowledge-Based Systems Theory. In particular I focus on the example of the design of elements of ontologies and ontological knowledge bases of next three electronic courses: Foundations of Research Activities, Virtual Modeling of Complex Systems and Introduction to String Theory.

Alexandru Cicortas, Victoria Stana Iordan, Alexandra Emilia Fortis

10 pages, exposed on 5th International Conference "Actualities and Perspectives on Hardware and Software" - APHS2009, Timisoara, Romania Journal-ref: Ann. Univ. Tibiscus Comp. Sci. Series VII(2009),79-88

Abstract: The paper proposes an analysis on some existent ontologies, in order to point out ways to resolve semantic heterogeneity in information systems...

John F. Sowa

Joaquín Borrego-Díaz, Antonia M. Chávez-González, pp. 37-48 ONTOSE'09

Dominique Fontaine, Ahcene Benayache, Marie-Hélène Abel

Volot F, Joubert M, Fieschi M – Methods Inf Med. 1998 ;37 :86-96

The basis of conceptual graphs theory is an ontology of types of concepts. Concepts issued from the ontology are interlinked by semantic relationships and constitute canonical conceptual graphs. Canonical graphs may be combined to derive new conceptual graphs by means of formation rules. This formalism allows to separate knowledge representation into a conceptual level and a domain-dependent level, and enables to share and reuse a representation. This paper presents conceptual graph applications to biomedical data and concept representation, classification systems, information retrieval, and natural language understanding and processing. A discussion on the unifying role conceptual graphs theory plays in the implementation of knowledge-based systems is also presented.

Michel Lecl̬re, Francky Trichet, Olivier Corby, Catherine Faron-Zucker РPlate-forme AFIA / Nice, du 30 mai au 3 juin 2005

Robert Nieuwenhuis and Albert Rubio

Chapter of Handbook of Automated Reasoning Edited by Alan Robinson and Andrei Voronkov. ISBN 0-444-82949-0. © Elsevier Science and MIT Press, 2001.

Paramodulation with Built-in AC-Theories and Symblic Constraints. Theorem Proving with Ordering and Equality Constrained Clauses.

Recommandation du W3C du 10 février 2004

Recommandation du W3C du 10 février 2004

Recommandation du W3C du 10 février 2004

Recommandation du W3C du 10 février 2004

Recommandation du W3C du 10 février 2004

Recommandation du W3C du 10 février 2004

Recommandation du W3C du 10 février 2004

Recommandation du W3C du 10 février 2004

http://www.yoyodesign.org/doc/w3c/rdf-testcases/

Jeux d'essais RDF

Recommandation du W3C du 10 février 2004

Recommandation du W3C du 10 février 2004

Une collection d'attributs et de règles de traitement pour étendre XHTML et gérer RDF - Recommandation du W3C du 14 octobre 2008

Recommandation du W3C du 15 janvier 2008

Recommandation du W3C du 15 janvier 2008

Recommandation du W3C du 15 janvier 2008

Rapprocher le Web des hommes du Web des données - Note de groupe de travail du W3C du 14 octobre 2008

Note de groupe de travail du W3C du 28 août 2008

Written by Matthew Horridge for the CO-ODE project.

and its Application in Linux Test - Daniella Bezerra, Afonso Costa, Karla Okada, pp. 25-36

links to other ontology sites and to major relevant publications and research projects.