Skip to main content

NOTICE: Due to a lapse in annual appropriations, most of this website is not being updated. Learn more.

Form submissions will still be accepted but will not receive responses at this time. Sections of this site for programs using non-appropriated funds (such as NVLAP) or those that are excepted from the shutdown (such as CHIPS and NVD) will continue to be updated.

U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Reasoning in Manufacturing Part-Part Examples with OWL 2

Published

Author(s)

Nenad Krdzavac, Conrad E. Bock

Abstract

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.
Citation
NIST Interagency/Internal Report (NISTIR) - 7535
Report Number
7535

Keywords

Description Logic, Manufacturing, SROIQ

Citation

Krdzavac, N. and Bock, C. (2008), Reasoning in Manufacturing Part-Part Examples with OWL 2, NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD, [online], https://doi.org/10.6028/NIST.IR.7535 (Accessed October 7, 2025)

Issues

If you have any questions about this publication or are having problems accessing it, please contact [email protected].

Created October 29, 2008, Updated November 10, 2018
Was this page helpful?