Abstract
This paper presents an approach to ontology development through the application of declarative logic programming. Our method employs rules for the purpose of prototyping new ontology versions by decoupling the process of concept definition from the application of descriptive logics (DL) and advanced class representations. By generating new ontology versions on-the-fly we can test updates to the ontology design. This employment of rules expands on current efforts of translation and merging of ontologies. By employing this technique, we can support a pragmatic approach to the management and integration of instance data thus realizing a rapid-prototyping approach to the testing of potential updates to ontologies. Examples of this technique are presented utilizing a subset of the OWL-DL specification through the implementation of the Jena API. Advantages include the rapid testing of updated ontology representations (including the efficient remapping of instance data) and an efficient means of Ontology querying. Eventual benefits include Ontology versioning support and tool development to support the automatic engineering of instance data.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Lehmann, T.: A Framework for Ontology based Integration of Structured IT-Systems, Workshop on Ontology-based Software Engineering. In: European Semantic Web Conference, Innsbruck, AU (2007)
Obitko, M.: Translation between Ontologies, Gerstner Laboratorory, Department of Cybernetics, Czech Technical University, http://www.webing.felk.cvut.cz/output/pub/WEBING-070504.pdf
Dou, D., McDermott, D., Qi, P.: Ontology Translation on the Semantic Web, http://cs-www.cs.yale.edu/homes/dvm/daml/ontomerge_odbase.pdf
Noy, N.F., McGiunness, D.L.: Ontology Development 101: Guide to Creating Your First Ontology, http://protege.stanford.edu/publications/ontology_development/ontology101-noy-mcguinness.html
Powers, S.: Practical RDF, Oreilly pub. (July 2003)
Knublauch, H.: Semantic Web Rules – Tools and Languages, tutorial. In: RuleML 2006 (2006), http://2006.ruleml.org/slides/tutorial-holger.pdf
Reynolds, D.: JUC-Jena Rules, HP Laboratories, http://jena.hpl.hp.com/juc2006/proceedings/reynolds/rules-slides.ppt
Guo, Y.-k., Darlington, J.: The Unification of Functional and Logic Languages-Towards Constraint Functional Programming, IEEE (1989)
Bechhofer, S., van Harmelen, F., Hendler, J., McGuinness, D., Patel S., Peter F., Stein, L.A.: OWL Web Ontology Language Reference, W3C (February 2004), http://www.w3.org/TR/2004/REC-owl-ref-20040210
Smith, M.K., Welty, C., McGiunness, D.: W3C OWL Web Ontology Language, http://www.w3.org/TR/owl-guide/
Alexander, B.: Description Logics in Data Management. IEEE Transactions on Knowledge and Data Engineering 7(5) (October 1995)
Alsac, G., Baral, C.: Reasoning in description logics in declarative logic programming, AAAI (2002)
Motik, B., Rosati, R., Sattler, U.: Can OWL and Logic Programming Live Together Happily Ever After? In: ISWC 2006, http://iswc2006.semanticweb.org/items/Motik2006bh.pdf
Horrocks, I., Patel-Schneider, P.F., Bechhofer, S., Tsarkov, D.: OWL Rules: A Proposal and Prototype Implementation
Grosof, B.N., Raphael, V., Horrocks, I., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: WWW 2003, Budapest, Hungary (May20-24, 2003)
Jena: A Semantic Web Framework For Java, http://jena.sourceforge.net/
Pedroni, S., Rappin, N.: Jython Essentials. O’Reilly pub. (2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ostrowski, D.A. (2007). Rule Definition for Managing Ontology Development. In: Paschke, A., Biletskiy, Y. (eds) Advances in Rule Interchange and Applications. RuleML 2007. Lecture Notes in Computer Science, vol 4824. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75975-1_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-75975-1_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75974-4
Online ISBN: 978-3-540-75975-1
eBook Packages: Computer ScienceComputer Science (R0)