Abstract
Ontologies help represent knowledge as a hierarchy of concepts within a domain and highlights the relationships between these concepts. Many businesses implement ontologies to use it to create and define their enterprise architecture framework. Business that specialize in customization use ontologies not only to define their business model but to use it to make inferences and grow their capabilities. In this paper we create an ontology of joints for a furniture customization company that could be used to make further inferences about all the possible furniture combinations in the scope of the domain. To achieve this objective, axioms that describe the various joint types are specified in first order logic and tested in Prover9/Mace4. The results demonstrate that the ontology captures the intended semantics of the different types of joints within furniture manufacturing and can be extended to make further inferences about possible furniture compositions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
The axioms within each module can be found at colore.oor.net/boxworld/.
- 2.
References
Borgo, S., Guarino, N., Masolo, C.: An ontological theory of physical objects. In: Proceedings of Qualitative Reasoning 11th International Workshop (1997)
Camossi, E., Giannini, F., Monti, M.: Deriving functionality from 3d shapes: ontology driven annotation and retrieval. Comput. Aided Des. Appl. 4, 773–782 (2007)
Coppel, W.A.: Foundations of Convex Geometry. Cambridge University Press, Cambridge (1998)
Grünbaum, B.: Are your polyhedra the same as my polyhedra? In: Aronov, B., Basu, S., Pach, J., Sharir, M. (eds.) Discrete and Computational Geometry: The Goodman-Pollack Festschrift, pp. 461–488. Springer, Heidelberg (2003)
Grüninger, M., Bouafoud, S.: Thinking Outside (and Inside) the Box. In: SHAPES 1.0 Conference, Karlsruhe, Germany (2011)
Grüninger, M., Delaval, A.: A First-Order Cutting Process Ontology for Sheet Metal Parts. In: Fifth Conference on Formal Ontology Meets Industry, Vicenza, Italy (2009)
Guarino, N., Borgo, S., Masolo, C.: Logical modelling of product knowledge: towards a well-founded semantics for STEP. In: Proceedings of European Conference on Product Data Technology (1997)
McMullen, P., Schulte, E.: Abstract Regular Polytopes. Cambridge University Press, Cambridge (2002)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Shrivastava, J., Grüninger, M. (2015). Developing an Ontology for Joints in Furniture Design. In: Cuel, R., Young, R. (eds) Formal Ontologies Meet Industry. FOMI 2015. Lecture Notes in Business Information Processing, vol 225. Springer, Cham. https://doi.org/10.1007/978-3-319-21545-7_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-21545-7_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-21544-0
Online ISBN: 978-3-319-21545-7
eBook Packages: Computer ScienceComputer Science (R0)