Structured Objects in OWL: Representation and Reasoning
Applications of semantic technologies often require the rep-resentation of and reasoning with structured objects—that is, objects composed of parts connected in complex ways. Al-though OWL is a general and powerful language, its class de-scriptions and axioms cannot be used to describe arbitrarily connected structures. An OWL representation of structured objects can thus be underconstrained, which reduces the in-ferences that can be drawn and causes performance problems in reasoning. To address these problems, we extend OWL with description graphs, which allow for the description of structured objects in a simple and precise way. To represent conditional aspects of the domain, we also allow for SWRL-like rules over description graphs. Based on an observation about the nature of structured objects, we ensure decidabil-ity of our formalism. We also present a hypertableau-based decision procedure, which we implemented in the HermiT reasoner. To evaluate its performance, we have extracted description graphs from the GALEN and FMA ontologies, classified them successfully, and even detected a modeling error in GALEN.
Boris Motik Bernardo Cuenca Grau Ulrike Sattler
University of Oxford Oxford, UK University of Manchester Manchester, UK
国际会议
第十七届国际万维网大会(the 17th International World Wide Web Conference)(WWW08)
北京
英文
2008-04-21（万方平台首次上网日期，不代表论文的发表时间）