• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

The Sigma Ontology Development Environment

Cached

  • Download as a PDF

Download Links

  • [SunSITE.Informatik.RWTH-Aachen.de]
  • [sunsite.informatik.rwth-aachen.de]
  • [ceur-ws.org]
  • [www.ceur-ws.org]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Adam Pease
Citations:17 - 9 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Pease_thesigma,
    author = {Adam Pease},
    title = {The Sigma Ontology Development Environment},
    year = {}
}

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

OpenURL

 

Abstract

We discuss the development of an environment for formal knowledge engineering. The Sigma system is an advance over previously developed systems in that it integrates a number of modern ontology development tools, which has motivated a number of research issues. Primary components include an ontology browsing and editing environment, a first order logic inference system and a natural language to logic translator. Although largely independent of any particular ontology, it supports a number of publicly available formal ontologies.

Citations

575 CYC: a large-scale investment in knowledge infrastructure - Lenat - 1995
351 The Ontolingua server: A tool for collaborative ontology construction - Farquhar, Fikes, et al. - 1996
318 A: Towards a Standard Upper Ontology - Niles, Pease - 2001
169 The evolving technology of classificationbased knowledge representation systems - MacGREGOR - 1991
150 The DARPA agent markup language - Hendler, McGuiness - 2000
57 The Suggested Upper Merged Ontology: A Large Ontology for the Semantic Web and its Applications - Pease, Niles, et al.
27 A semantics for the knowledge interchange format - Hayes, Menzel - 2001
6 Applying Formal Methods and Representations in a Natural Language Tutor to Teach Tactical Reasoning - Murray, Pease, et al. - 2003
6 Agent-Mediated Knowledge Engineering Collaboration - Pease, Li - 2003
2 Networks: Explorations in the Representation of Knowledge, ed - Sowa - 1993
2 Deductive composition of astronomical software from subroutine libraries - Underwood - 1994
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University