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.
[1]
Nicola Guarino,et al.
Logical Modelling of Product Knowledge: Towards a Well-Founded Semantics for STEP
,
2007
.
[2]
P. McMullen,et al.
Abstract Regular Polytopes
,
2003,
Geometric Regular Polytopes.
[3]
W. A. Coppel.
Foundations of Convex Geometry
,
1998
.
[4]
Michael Grüninger,et al.
A First-Order Cutting Process Ontology for Sheet Metal Parts
,
2009,
FOMI.
[5]
Franca Giannini,et al.
Deriving Functionality from 3D Shapes: Ontology Driven Annotation and Retrieval
,
2007
.
[6]
B. Grünbaum.
Are Your Polyhedra the Same as My Polyhedra
,
2003
.
[7]
Nicola Guarino,et al.
An Ontological Theory of Physical Objects
,
2001
.
[8]
Michael Grüninger,et al.
Thinking Outside (and Inside) the Box
,
2011,
SHAPES.