Skip to main content
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 March 18, 2024)
Created October 29, 2008, Updated November 10, 2018