A survey of requirements for automated reasoning services for bio-ontologies in OWL

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

An ontology in owl for legal case-based reasoning.Adam Wyner - 2008 - Artificial Intelligence and Law 16 (4):361-387.
Non classical concept representation and reasoning in formal ontologies.Antonio Lieto - 2012 - Dissertation, Università Degli Studi di Salerno

Analytics

Added to PP
2009-01-28

Downloads
38 (#116,676)

6 months
11 (#1,140,922)

Historical graph of downloads
How can I increase my downloads?