Putting OWL in order: Patterns for sequences in OWL

Published 1 January 2006

Nick Drummond, Alan Rector, Robert Stevens, Georgina Moulton, Matthew Horridge, Hai Wang

Citations68

TL;DR

This paper demonstrates a design pattern for modeling order within OWL-DL that allows us to use standard DL reasoning to perform pattern matching akin to regular expression matching and works surprisingly well.

Abstract

Abstract: Sequences are a natural part of the world to be modelled in ontologies. Yet the Web Ontology Language, OWL, contains no specific support for ordering. It does, however, have constructs that can be used to model many aspects of sequences, albeit imperfectly. This paper demonstrates a design pattern for modeling order within OWL-DL. This allows us to use standard DL reasoning to perform pattern matching akin to regular expression matching and works surprisingly well. The main point of this paper is that formulating sequences in OWL-DL brings real benefits to users by allowing them to work at a higher level of abstraction than raw sequences and to deal with situations in which the details of the sequences are under specified. 1

Keywords

Computer Science

Lecture notes in computer scienceSweetening Ontologies with DOLCE

1,018 Citations2002Aldo Gangemi, Nicola Guarino +3 more

This paper introduces the DOLCE upper level ontology, the first module of a Foundational Ontologies Library being developed within the WonderWeb project, and suggests that such analysis could hopefully lead to an ?

Nucleic Acids ResearchThe InterPro Database, 2003 brings increased coverage and new features

694 Citations2003Nicola Mulder

The latest release of InterPro contains 5629 entries describing 4280 families, 1239 domains, 95 repeats and 15 post-translational modifications, an increase of nearly 15% since the inception of Inter pro.

View PDF

European Journal of BiochemistrySubstrate specificity of protein kinase C

511 Citations1986James R. Woodgett, Kathleen L. Gould +1 more

Comparative studies have demonstrated that, in vivo, the enzyme exhibits a preference for one basic residue C-terminal to the phosphorylatable residue, as in the sequence: Ser/Thr-Xaa-Lys/Arg, where Xaa is usually an uncharged residue.

Studies in health technology and informaticsBiodynamic Ontology: Applying BFO in the Biomedical Domain

343 Citations2004Pierre Grenon, Barry Smith +1 more

A modular formal ontology of the biomedical domain with two components, one for biological objects, corresponding broadly to anatomy, and one for Biological processes, corresponding broad to physiology, is proposed.

View PDF

Artificial IntelligenceDecidability of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi mathvariant="script">SHIQ</mml:mi></mml:math> with complex role inclusion axioms

130 Citations2004Ian Horrocks, Ulrike Sattler

This work investigates the decidability of an expressive and prominent description logic (DL), SHIQ, extended with role inclusion axioms of the form R ċ S ⊆ T and reports on its implementation, which promises to behave well in practice and provides important additional functionality in a medical terminology application.

Lecture notes in computer scienceA concept language extended with different kinds of transitive roles

88 Citations1996Ulrike Sattler

Insight is given into the diverse alternatives for the representation of transitive relations such as part-whole relations, family relations or partial orders in general in terminological knowledge representation systems.

Representing sequences in description logics

8 Citations1997Haym Hirsh, Daniel Kudenko⋆

This paper shows that it is not necessary to add additional features to a DL to handle sequences, and instead describes an approach for dealing with sequences as first-class entities directly within a DL without the need for extensions or extra-linguistic constructs.