The OWL instance store: System description

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3632 LNAI, Issue , 2005, Pages 177-181

  Bechhofer, Sean ^a   Horrocks, Ian ^a   Turi, Daniele ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE SYSTEMS; LOGIC PROGRAMMING;

HYBRID REASONER; ONTOLOGY; OWL;

COMPUTER SYSTEMS;

EID: 26944437060     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11532231_13     Document Type: Conference Paper

References (17)

1. FaCT++. http://owl.man.ac.uk/factplusplus.
2. Gene Ontology Database, http://www.godatabase.org/dev/database.
3. Instance Store API. http://sourceforge.net/projects/instancestore.
4. Instance Store website. http://instancestore.man.ac.uk.
5. Franz Baacler, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors. The Description Logic Handbook - Theory, Implementation and Applications. Cambridge University Press, 2003.
6. M. Bada, D. Turi, R. McEntire, and R. Stevens. Using Reasoning to Guide Annotation with Gene Ontology Terms in GOAT. SIGMOD Record (special issue on data engineering for the life sciences), June 2004.
7. Sean Bechhofer. The DIG description logic interface: DIG/1.1. In Proceedings of the 2003 Description Logic Workshop (DL 2003), 2003.
8. Sean Bechhofer, Frank van Harmelen, Jim Hendler, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider, and Lynn Andrea Stein. OWL Web Ontology Language Reference. Technical Report REC-owl-ref-20040210, The Worldwide Web Consortium, February 2004.
9. Sean Bechhofer and Raphael Volz. Patching Syntax in OWL Ontologies. In Proceedings of 3rd International Semantic Web Conference (ISWC'04), Hiroshima, Japan, 2004.
10. Alexander Borgida and Ronald J. Brachman. Loading data into description reasoners. In Procs ACM SICMOD Int'l Conf on Management of Data, pages 217-226, 1993.
11. Olga Caprotti, Mike Dewar, and Daniele Turi. Mathematical service matching using Description Logic and OWL. In Proceedings of 3rd International Conference on Mathematical Knowledge Management (MKM'04), volume 3119 of LNCS. Springer-Verlag, 2004.
12. V. Haarslev and R. Moller. Description of the RACER system and its applications. In R. Gore, A. Leitsch, and T. Nipkow, editors, Procs of IJCAR 2001, volume 2083 of Lecture Notes in Artificial Intelligence. Springer-Verlag Inc., 2001.
13. Bernhard Hollunder. Consistency checking reduced to satisfiability of concepts in terminological systems. 18(2-4):133-157, 1996.
14. I. Horrocks. Using an expressive description logic: FaCT or fiction? In Procs 6th Int'l Conf. on Principles of Knowledge Representation and Reasoning (KR'98), pages 636-647, 1998.
15. A. Schmiedel. Semantic indexing based on description logics. In F. Baader, M. Buchheit, M.A. Jeusfeld, and W. Null, editors, Reasoning about structured objects: knowledge representation meets databases. Proceedings of the KI'94 Workshop KRDB'94, September 1994.
16. K. Wolstencroft, P. Lord, L. Tabernero, A. Brass, and R. Stevens. Intelligent classification of proteins using an ontology. Submitted for publication, 2005.
17. Chris J. Wroe, Robert D. Stevens, Carole A. Goble, and Michael Ashburner. A methodology to migrate the gene ontology to a description logic environment using daml+oil. In Proceedings of the 8th Pacific Symposium on Biocomputing (PSB), Hawaii, January 2003.