Formal validation techniques for Ontology-based Device Descriptions

Author

Rieckhof, Federico ; Dibowski, Henrik ; Kabitzsch, Klaus

Author_Institution

Dept. of Comput. Sci., Dresden Univ. of Technol., Dresden, Germany

fYear

2011

fDate

5-9 Sept. 2011

Firstpage

1

Lastpage

8

Abstract

Ontology-based Device Descriptions (ODDs) have been developed to overcome the shortcomings of established electronic device descriptions. They provide means for a comprehensive support of the whole design process of automation systems and enable an automated design. However, for a proper and faultless design support, the validity and integrity of the OWL based ODDs is essential. For that purpose this paper investigates formal validation techniques for a computerized verification of ODDs. Following, a validator is presented, which combines OWL reasoning with integrity constraints (ICs). The validator assures the consistency, completeness and correctness of ODDs and is capable of checking expressive logical constraints. An explanation component informs the user about constraint violations and gives advice on how to resolve them.

Keywords

formal verification; knowledge representation languages; ontologies (artificial intelligence); ODD completeness; ODD consistency; ODD correctness; OWL based ODD; OWL reasoning; automated design; automation system; computerized verification; constraint violation; electronic device description; expressive logical constraint checking; faultless design support; formal validation; integrity constraint; ontology-based device descriptions; Automation; Database languages; Integrated circuits; OWL; Ontologies; Resource description framework; Vocabulary;

fLanguage

English

Publisher

ieee

Conference_Titel

Emerging Technologies & Factory Automation (ETFA), 2011 IEEE 16th Conference on

Conference_Location

Toulouse

ISSN

1946-0740

Print_ISBN

978-1-4577-0017-0

Electronic_ISBN

1946-0740

Type

conf

DOI

10.1109/ETFA.2011.6058974

Filename

6058974