Application of OWL 1.1 to Systems Engineering

From Tetherless World Wiki

\begin{bibtex}

@inproceedings{DBLP:conf/owled/HorrocksG08, author = {Ian Horrocks and Henson Graves}, title = {Application of OWL 1.1 to Systems Engineering}, booktitle = {OWL: Experiences and Directions (OWLED)}, pages = {online} year = {2008} pdf = {http://www.webont.org/owled/2008dc/papers/owled2008dc_paper_9.pdf}, abstract = {Current systems engineering languages, standards, and tools are restricted in certain aspects of their expressiveness and do not provide formal semantics. While there is a long history of attempts to use formal methods for engineering, up to now the formalisms have generally proved too hard to use, and the tools do not scale for large complex system development. A semantic integration framework that can integrate representations from multiple system engineering languages and tools could, however, have a significant impact on cost, schedule, and product integrity. We are exploring the potential for OWL 1.1 to provide such a semantic integration for the air system engineering domain. To determine the potential to use OWL 1.1 in this setting we are developing a prototypical air system ontology in OWL 1.1 and evaluating the use of the language for developing and reasoning about systems engineering concepts such as requirements and product structure.}, topic = {OWL 1.1, System Engineering} }

\end{bibtex}