You have to log in to edit pages.
If you already have an OWL file you can create/update this page by importing it
Please be sure that the uploaded file is correctly embedded in the page as an image. This is possible only with image file types (no PDF, for example).
Click 'add another' for adding an ontology element
Click 'add another' for adding a Review this revision takes in account
There are two axioms that we need in this pattern but not expressible in OWL. The first says that there is at least one of the input that is not in the output of the transformation, which cannot be expressed in FOL as the formula: ALL x.( MaterialTransformation(x) IMPLIES Exists y.(hasInput(x,y) AND NOT hasOutput(x,y) ) ) The second states that there is at least one of the output that is not part of the input of the transformation: ALL x.( MaterialTransformation(x) IMPLIES Exists y.(hasOutput(x,y) AND NOT hasInput(x,y) ) ) Thus, this OWL encoding does not contain any axiom expressing the above two. A full description of the pattern can be found in the SWJ publication "An Ontology Design Pattern and Its Use Case for Modeling Material Transformation". http://www.semantic-web-journal.net/content/ontology-design-pattern-and-its-use-case-modeling-material-transformation-1 [[Category:Waiting for review]]
Summary:
This is a minor edit Watch this page
Cancel