This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
Throughout the chapter, concepts and associations are written in sans serif and are labelled in a namespace-like manner. Namespace-prefixes indicate the ontology where concepts and associations are defined. If no namespace is given, concepts and associations are assumed to be defined in the ontology currently discussed. With respect to the formulae given in the following, the reader might refer to Chapters “Description Logics, Ontologies in F-Logic, Resource Description Framework (RDF), Web Ontology Language: OWL, Ontologies and Rules” for the logic background.
- 2.
The reader may note, that we occasionally use concept and association names (written in sans serif and preceded by a namespace to clarify their origin) as subjects, objects, and predicates of the sentences in the text.
- 3.
The OoP:Plan of the Class contains all Plans of its Methods as alternatives.
- 4.
The OoP:predecessor and OoP:successor associations hold between OoP:Tasks, and are different from OoP:precondition and OoP:postcondition associations, which hold between OoP:Plans and DnS:SituationDescriptions.
- 5.
Both are specializations of DnS:modalTarget, viz., the generic association holding between DnS:Roles and DnS:Courses.
- 6.
Note that DnS:unifies is the generic association between DnS:SituationDescriptions and DnS:Collections.
- 7.
- 8.
- 9.
References
Anupriya Ankolekar, James Herbsleb, and Katia Sycara. Addressing Challenges to Open Source Collaboration With the Semantic Web. In Joseph Feller, Brian Fitzgerald, Scott Hissam, and Karim Lakhani, editors, Proceedings of Taking Stock of the Bazaar: The 3rd Workshop on Open Source Software Engineering, the 25th International Conference on Software Engineering (ICSE), Washington, D.C., 2003. IEEE Computer Society.
Dieter Fensel, Richard Benjamins, Enrico Motta, and Bob J. Wielinga. UPML: A Framework for Knowledge System Reuse. In Thomas Dean, editor, Proceedings of the 16th Int. Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, 1999. 2 Volumes, 1450 pages, pages 16–23. Morgan Kaufmann, 1999.
Aldo Gangemi, Maria-Teresa Sagri, and Daniela Tiscornia. A Constructive Framework for Legal Ontologies. Internal project report, EU 6FP METOKIS Project, Deliverable, 2004. http://metokis.salzburgresearch.at.
Aldo Gangemi, Stefano Borgo, Carola Catenacci, and Jos Lehmann. Task taxonomies for knowledge content. Metokis Deliverable D07, Sep 2004.
Aldo Gangemi and Peter Mika. Understanding the Semantic Web through Descriptions and Situations. In DOA/CoopIS/ODBASE 2003 Confederated International Conferences DOA, CoopIS and ODBASE, Proceedings, LNCS. Springer, 2003.
Michael Grüninger and Christopher Menzel. The Process Specification Language (PSL) Theory and Applications. AI Magazine, 24(3):63–74, 2003.
Steffen Lamparter, Anupriya Ankolekar, Daniel Oberle, Rudi Studer, and Christof Weinhardt. A Policy Framework for Trading Configurable Goods and Services in Open Electronic Markets. In Proceedings of the 8th Int. Conference on Electronic Commerce (ICEC’06), pages 162–173, AUG 2006.
David Martin, Mark Burstein, Jerry Hobbs, Ora Lassila, Drew McDermott, Sheila McIlraith, Srini Narayanan, Massimo Paolucci, Bijan Parsia, Terry Payne, Evren Sirin, Naveen Srinivasan, and Katia Sycara. OWL-S: Semantic Markup for Web Services. http://www.daml.org/services/owl-s/1.1/, Nov 2004.
Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari. Ontology Library (final). WonderWeb Deliverable D18, Dec 2003. http://wonderweb.semanticweb.org.
Peter Mika, Daniel Oberle, Aldo Gangemi, and Marta Sabou. Foundations for Service Ontologies: Aligning OWL-S to DOLCE. In The 13th International World Wide Web Conference Proceedings, pages 563–572. ACM, May 2004.
Daniel Oberle. Semantic Management of Middleware, volume I of The Semantic Web and Beyond. Springer, New York, Jan 2006.
Daniel Oberle, Steffen Lamparter, Stephan Grimm, Denny Vrandecic, Steffen Staab, and Aldo Gangemi. Towards Ontologies for Formalizing Modularization and Communication in Large Software Systems. Journal of Applied Ontology, 1(2):163–202, 2006.
F. Silva Parreiras, S. Staab, and A. Winter. On marrying ontological and metamodeling technical spaces. In ESEC/ACM FSE-2007 — Proceedings of the 6th joint meeting of the European software engineering conference and the 14th ACM SIGSOFT symposium on Foundations of software engineering, pages 439–448. ACM, September 2007.
F. Silva Parreiras, S. Staab, and A. Winter. Improving design patterns by description logics: An use case with abstract factory and strategy. In T. Kühne and F. Steimann, editors, Proc. of Modellierung 2008, LNI. GI e.V., March 2008.
Adam Pease. Core Plan Representation. Object Model Focus Group, Nov 1998.
Marta Sabou, Daniel Oberle, and Debbie Richards. Enhancing Application Servers with Semantics. In 1st Australian Workshop on Engineering Service-Oriented Systems (AWESOS 2004) Melbourne, Australia, pages 7–15, 2004.
Christopher Welty. An Integrated Representation for Software Development and Discovery. PhD thesis, Rensselaer Polytechnic Institute Computer Science Department, 1995.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Oberle, D., Grimm, S., Staab, S. (2009). An Ontology for Software. 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_17
Download citation
DOI: https://doi.org/10.1007/978-3-540-92673-3_17
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)