Putting OWL in order: Patterns for sequences in OWL
作者： Alan L. Rector , Nick Drummond , Matthew Horridge , Julian Seidenberg , Hai Wang
DOI:
关键词:
摘要: Sequences are a natural part of the world to be modelled in ontologies. Yet Web Ontology Language, OWL, contains no specific support for ordering. It does, however, have constructs that can used model many aspects sequences, albeit imperfectly. This paper demonstrates design pattern modeling order within OWL-DL. allows us use standard DL reasoning perform matching akin regular expression and works surprisingly well. The main point this is formulating sequences OWL-DL brings real benefits users by allowing them work at higher level abstraction than raw deal with situations which details under specified.
manchester.ac.uk
man.ac.uk 参考文章(7)
Daniel Kudenko, Haym Hirsh, Representing sequences in description logics national conference on artificial intelligence. pp. 384- 389 ,(1997)
Pierre Grenon, Barry Smith, Louis Goldberg, Biodynamic Ontology: Applying BFO in the Biomedical Domain Studies in health technology and informatics. ,vol. 102, pp. 20- 38 ,(2004)
James R. WOODGETT, Kathleen L. GOULD, Tony HUNTER, Substrate specificity of protein kinase C: use of synthetic peptides corresponding to physiological sites as probes for substrate recognition requirements FEBS Journal. ,vol. 161, pp. 177- 184 ,(1986) , 10.1111/J.1432-1033.1986.TB10139.X
Aldo Gangemi, Nicola Guarino, Claudio Masolo, Alessandro Oltramari, Luc Schneider, Sweetening Ontologies with DOLCE knowledge acquisition, modeling and management. pp. 166- 181 ,(2002) , 10.1007/3-540-45810-7_18
Nicola J Mulder, Rolf Apweiler, Teresa K Attwood, Amos Bairoch, Daniel Barrell, Alex Bateman, David Binns, Margaret Biswas, Paul Bradley, Peer Bork, Phillip Bucher, Richard R Copley, Emmanuel Courcelle, Ujjwal Das, Richard Durbin, Laurent Falquet, Wolfgang Fleischmann, Sam Griffiths-Jones, Daniel Haft, Nicola Harte, Nicolas Hulo, Daniel Kahn, Alexander Kanapin, Maria Krestyaninova, Rodrigo Lopez, Ivica Letunic, David Lonsdale, Ville Silventoinen, Sandra E Orchard, Marco Pagni, David Peyruc, Chris P Ponting, Jeremy D Selengut, Florence Servant, Christian JA Sigrist, Robert Vaughan, Evgueni M Zdobnov, None, The InterPro Database, 2003 brings increased coverage and new features Nucleic Acids Research. ,vol. 31, pp. 315- 318 ,(2003) , 10.1093/NAR/GKG046
Ian Horrocks, Ulrike Sattler, Decidability of SHIQ with complex role inclusion axioms Artificial Intelligence. ,vol. 160, pp. 79- 104 ,(2004) , 10.1016/J.ARTINT.2004.06.002
Ulrike Sattler, A Concept Language Extended with Different Kinds of Transitive Roles KI '96 Proceedings of the 20th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence. pp. 333- 345 ,(1996) , 10.1007/3-540-61708-6_74