Take a sneak peek at the new NIST.gov and let us know what you think!
(Please note: some content may not be complete on the beta site.).
NIST Authors in Bold
|Author(s):||Nenad Krdzavac; Conrad E. Bock;|
|Title:||Reasoning in Manufacturing Part-Part Examples with OWL 2|
|Published:||October 29, 2008|
|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|
|Keywords:||Description Logic, Manufacturing, SROIQ|
|Research Areas:||Ontologies, Manufacturing|
|PDF version:||Click here to retrieve PDF version of paper (297KB)|