Skip to main content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.


The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

Reasoning in Manufacturing Part-Part Examples with OWL 2



Nenad Krdzavac, Conrad E. Bock


This report examines whether the Web Ontology Language 2 (OWL 2) is expressive enough for some common manufacturing examples involving relations between parts of composite or assembled objects (part-part relations). We specify the semantics of these examples in first-order logic, express them in complex role inclusions, and compare these to OWL 2 role inclusions. We give tests based on the first order semantics and determine whether OWL 2 supports the semantics. We also give restrictions typical of part-part applications in manufacturing that might be useful in future research.
NIST Interagency/Internal Report (NISTIR) - 7535
Report Number


Description Logic, Manufacturing, SROIQ
Created October 29, 2008, Updated November 10, 2018