|
Title:
|
MODELLING OBJECTS IN OWL: A FIRST ORDER LOGIC BASED TOOL |
|
Author(s):
|
Geiza M. Hamazaki da Silva, Aline M. Saettler, Livia Ruback, Bruno Lopes, Eduardo Thadeu L. Corseuil |
|
ISBN:
|
978-989-8533-24-1 |
|
Editors:
|
Pedro Isaías and Bebo White |
|
Year:
|
2014 |
|
Edition:
|
Single |
|
Keywords:
|
ISO 15926, Interoperability, First Order Logic, Ontology, Semantic Web |
|
Type:
|
Short Paper |
|
First Page:
|
343 |
|
Last Page:
|
346 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
ISO15926 proposes a standard for integration and interoperability of data. The effort in the development and application of this standard contributed with a new paradigm of information management for the Oil e Gas industry, which will reduce the costs in this area. Regarding the development of computer systems compliant with the standard across the industry requires knowing how to define, to manage, and to extend the information models to store the data in a neutral format. The part 8 of the ISO15926 recommends the Ontology Language Description (OWL) as a language to describe the models in the neutral format for the systems perform information exchange without establish contracts for the communication. In part 7 of the standard the models are constructed using First Order Logic (FOL). This scenario encouraged the development of a tool (FOL2OWL) to translate models specified in FOL to OWL in here presented |
|
|
|
|
|
|
