OilEd: A Reason-able Ontology Editor for the Semantic Web

  • Sean Bechhofer
  • Ian Horrocks
  • Carole Goble
  • Robert Stevens
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2174)


Ontologies will play a pivotal rôle in the “Semantic Web”, where they will provide a source of precisely defined terms that can be communicated across people and applications. OilEd, is an ontology editor that has an easy to use frame interface, yet at the same time allows users to exploit the full power of an expressive web ontology language (OIL). OilEd uses reasoning to support ontology design, facilitating the development of ontologies that are both more detailed and more accurate.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    G. van Heijst, A. Schreiber, and B. Wielinga. Using explicit ontologies in KBS development. Int. J. of Human-Computer Studies, 46(2/3):183–292, 1997.MATHGoogle Scholar
  2. 2.
    D. L. McGuinness. Ontological issues for knowledge-enhanced search. In Proc. of FOIS-98, 1998.Google Scholar
  3. 3.
    M. Uschold and M. Grüninger. Ontologies: Principles, methods and applications. K. Eng. Review, 11(2):93–136, 1996.CrossRefGoogle Scholar
  4. 4.
    T. Berners-Lee. Weaving the Web. Orion Business Books, 1999.Google Scholar
  5. 5.
    S. Decker et al. The semantic web-on the respective roles of XML and RDF. IEEE Internet Computing, 2000.Google Scholar
  6. 6.
    T. R. Gruber. Towards principles for the design of ontologies used for knowledge sharing. In Proc. of Int. Workshop on Formal Ontology, 1993.Google Scholar
  7. 7.
    D. Fensel et al. OIL in a nutshell. In Proc. of EKAW-2000, LNAI, 2000.Google Scholar
  8. 8.
    J. Hendler and D. L. McGuinness. The DARPA agent markup language. IEEE Intelligent Systems, jan 2001.Google Scholar
  9. 9.
    D. L. McGuinness, R. Fikes, J. Rice, and S. Wilder. An environment for merging and testing large ontologies. In Proc. of KR-00, 2000.Google Scholar
  10. 10.
    J. Doyle and R. Patil. Two theses of knowledge representation. Artificial Intelligence, 48:261–297, 1991.CrossRefGoogle Scholar
  11. 11.
    V. K. Chaudhri et al. OKBC: A programmatic foundation for knowledge base interoperability. In Proc. of AAAI-98, 1998.Google Scholar
  12. 12.
    S. Staab and A. Maedche. Ontology engineering beyond the modeling of concepts and relations. In Proc. of the ECAI’ 2000 Workshop on Application of Ontologies and Problem-Solving Methods, 2000.Google Scholar
  13. 13.
    W. E. Grosso et al. Knowledge modeling at the millennium (the design and evolution of proté-2000). In Proc. of KAW99, 1999.Google Scholar
  14. 14.
    I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Proc. of LPAR’99, pages 161–180, 1999.Google Scholar
  15. 15.
    I. Horrocks. Benchmark analysis with fact. In Proc. TABLEAUX 2000, pages 62–66, 2000.Google Scholar
  16. 16.
    F. Baader and P. Hanschke. A scheme for integrating concrete domains into concept languages. In Proc. of IJCAI-91, pages 452–457, 1991.Google Scholar
  17. 17.
    A. Rector et al. The Grail concept modelling language for medical terminology. Artificial Intelligence in Medicine, 9:139–171, 1997.CrossRefGoogle Scholar
  18. 18.
    S. Decker et al. Knowledge representation on the web. In Proc. of DL 2000, pages 89–98, 2000.Google Scholar
  19. 19.
    D. McGuinness and A. Borgida. Explaining subsumption in description logics. In Proc. of IJCAI-95, pages 816–821, 1995.Google Scholar
  20. 20.
    P.G Baker, C.A Goble, S. Bechhofer, N.W Paton, R. Stevens, and A. Brass. An Ontology for Bioinformatics Applications. Bioinformatics, 15(6):510–520, 1999.CrossRefGoogle Scholar
  21. 21.
    C. Goble, R. Stevens, G. Ng, S. Bechhofer, N.W. Paton, P.G. Baker, M. Peim, and A. Brass. Transparent Access to Multiple Bioinformatics Information Sources. IBM Systems Journal, 40(2), 2001.Google Scholar
  22. 22.
    M. Ashburner et al. Gene ontology: Tool for the unification of biology. Nature Genetics, 25:25–29, 2000.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Sean Bechhofer
    • 1
  • Ian Horrocks
    • 1
  • Carole Goble
    • 1
  • Robert Stevens
    • 1
  1. 1.Information Management Group, Department of Computer ScienceUniversity of ManchesterManchesterUK

Personalised recommendations