Skip to main content
SpringerLink
Log in

Using the PSL Ontology

  • Chapter
  • First Online:
Handbook on Ontologies

Part of the book series: International Handbooks on Information Systems ((INFOSYS))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 349.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 449.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 449.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    PSL has been published as the International Standard ISO 18629 by the International Organisation of Standardisation.

  2. 2.

    The complete set of axioms for the PSL Ontology can be found at http://www.mel.nist.gov/psl/psl-ontology/. Core theories are indicated by a.th suffix and definitional extensions are indicated by a.def suffix.

    All axioms and definitions in the PSL Ontology are written in CLIF (Common Logic Interchange Format).

  3. 3.

    This terminology is used in [2]. The treatment of objects as continuants is also known as endurantism or 3D-ontology, while the treatment of objects as occurrents is also known as perdurantism or 4D-ontology.

References

  1. Grenon, P. and Smith, B. (2004) SNAP and SPAN: Towards dynamic spatial ontology. Spatial Cognition and Computation, 4(1):69-104, 2004.

    Article  Google Scholar 

  2. Gruninger, M. (2003) Applications of PSL to Semantic Web Services, Workshop on Semantic Web and Databases. Very Large Databases Conference, Berlin.

    Google Scholar 

  3. Gruninger, M. and Kopena, J. (2004) Semantic Integration through Invariants, AI Magazine, 26:11-20, 2004.

    Google Scholar 

  4. Hayes, P. (1996) A Catalog of Temporal Theories. Artificial Intelligence Technical Report UIUC-BI-AI-96-01, University of Illinois at Urbana-Champaign.

    Google Scholar 

  5. McIlraith, S., Son, T.C. and Zeng, H. (2001) Semantic Web Services, IEEE Intelligent Systems, Special Issue on the Semantic Web. 16:46–53, March/April, 2001.

    Google Scholar 

  6. Menzel, C. and Gruninger, M. (2001) A formal foundation for process modeling, Second International Conference on Formal Ontologies in Information Systems, Welty and Smith (eds), 256-269.

    Google Scholar 

  7. Ciocoiu, M., Gruninger M., and Nau, D. (2001) Ontologies for integrating engineering applications, Journal of Computing and Information Science in Engineering, 1:45-60.

    Article  Google Scholar 

  8. Pinto, J. and Reiter, R. (1993) Temporal reasoning in logic programming: A case for the situation calculus. Proceedings of the 10th International Conference on Logic Programming, Budapest, Hungary, June 1993.

    Google Scholar 

  9. Schlenoff, C., Gruninger, M., Ciocoiu, M., (1999) The Essence of the Process Specification Language, Transactions of the Society for Computer Simulation vol.16 no.4 (December 1999) pages 204-216.

    Google Scholar 

  10. Sowa, J. (2000) Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks/Cole Publishing.

    Google Scholar 

  11. Semantic Web Services Framework (SWSF) Overview W3C Member Submission 9 September 2005.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mechanical and Industrial Engineering, University of Toronto, Toronto, ON, Canada

    Michael Grüninger

Authors
  1. Michael Grüninger
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Michael Grüninger .

Editor information

Editors and Affiliations

  1. Inst. Informatik, Universität Koblenz-Landau, Universitaetsstr. 1, Koblenz, 56016, Germany

    Steffen Staab

  2. Inst. Angewandte Informatik und, Universität Karlsruhe, Karlsruhe, 76128, Germany

    Rudi Studer

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Grüninger, M. (2009). Using the PSL Ontology. In: Staab, S., Studer, R. (eds) Handbook on Ontologies. International Handbooks on Information Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-92673-3_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-92673-3_19

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-70999-2

  • Online ISBN: 978-3-540-92673-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation