Abstract
A recurrent pattern in the representation of actions and processes is the notion of exchange. It is a concept primarily characterised by a structure of processes or actions, rather than inherent properties, but has a strong ontological flavour. Exchange is furthermore governed by reciprocity, reflected by the way in which roles are constrained.
Representing exchange and other structured objects in an ontology poses a number of conceptual and technical problems. While these concepts require a diamond like structure, DLs are generally restricted to tree structures only. Constraints on the identity of the individuals that fill the roles in e.g. transactions cannot be enforced directly in the A-Box. In this paper we present a knowledge pattern and methodology for approximating such structures.
Preview
Unable to display preview. Download preview PDF.
References
Breuker, J., Hoekstra, R.: Epistemology and ontology in core ontologies: FOLaw and LRI-Core, two core ontologies for law. In: Proceedings of EKAW Workshop on Core ontologies. CEUR (2004)
Rector, A.L., et al.: OWL pizzas: Practical experience of teaching OWL-DL: Common errors & common patterns. In: Motta, E., Shadbolt, N.R., Stutt, A., Gibbins, N. (eds.) EKAW 2004. LNCS (LNAI), vol. 3257, pp. 63–81. Springer, Heidelberg (2004)
Gangemi, A.: Ontology design patterns for semantic web content. In: Gil, Y., et al. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 262–276. Springer, Heidelberg (2005)
Grosof, B., Volz, R., Horrocks, I., Decker, S.: Description logic programs: Combining logic programs with description logics. In: Proceedings of WWW 2003 (2003)
Halaschek-Wiener, C., Katz, Y., Parsia, B.: Belief base revision for expressive description logics. In: Proceedings of OWLED 2006 (2006)
Hoekstra, R., Breuker, J., Di Bello, M., Boer, A.: The LKIF Core ontology of basic legal concepts. In: Casanovas, P., et al. (eds.) Proceedings of LOAIT 2007 (June 2007)
Hohfeld, W.: Fundamental Legal Conceptions as Applied in Legal Reasoning. In: Cook, W.W. (ed.), fourth printing. Yale University Press (1966)
Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \(\mathcal{SROIQ}\). In: Proceedings of KR 2006, pp. 57–67 (2006)
ISO/IEC. Common Logic (CL) - a framework for a family of logic-based languages. Technical Report 24707:2007, ISO/IEC (2007)
Krötzsch, M., Rudolph, S., Hitzler, P.: Expressive tractable description logics based on \(\mathcal{SROIQ}\) rules. Technical report, Institut AIFB, Universität Karlsruhe (TH), Karlsruhe, Germany (2008)
Motik, B., Grau, B.C., Sattler, U.: Structured objects in OWL: representation and reasoning. In: Huai, J., et al. (eds.) WWW, pp. 555–564. ACM, New York (2008)
Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. Journal of Web Semantics: Science, Services and Agents on the World Wide Web 3(1), 41–60 (2005)
Niles, I., Pease, A.: Towards a standard upper ontology. In: Welty, C., Smith, B. (eds.) Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS-2001), Ogunquit, Maine, October 17-19 (2001)
Wang, T.D., Parsia, B.: Ontology performance profiling and model examination: First steps. In: Aberer, K., et al. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol. 4825, pp. 595–608. Springer, Heidelberg (2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hoekstra, R., Breuker, J. (2008). Polishing Diamonds in OWL 2. In: Gangemi, A., Euzenat, J. (eds) Knowledge Engineering: Practice and Patterns. EKAW 2008. Lecture Notes in Computer Science(), vol 5268. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87696-0_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-87696-0_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87695-3
Online ISBN: 978-3-540-87696-0
eBook Packages: Computer ScienceComputer Science (R0)