Show simple item record

dc.contributor.authorTao, Jiao
dc.contributor.authorTao, Jiao
dc.contributor.authorSirin, Evren
dc.contributor.authorSirin, Evren
dc.date.accessioned2022-02-18T02:38:34Z
dc.date.available2022-02-18T02:38:34Z
dc.date.issued2010-06-07
dc.identifier.other224
dc.identifier.urihttp://archive.tw.rpi.edu/media/latest/ic-iswc-poster.pdf
dc.identifier.urihttps://hdl.handle.net/20.500.13015/4626
dc.description.abstractIn many data-centric applications, it is desirable to use OWL as an expressive schema language with which one expresses constraints that must be satisfied by instance data. However, specific aspects of OWL's standard semantics -- i.e., the Open World Assumption (OWA) and the absence of Unique Name Assumption (UNA) -- make it difficult to use OWL in this way. In this paper, we present an Integrity Constraint (IC) semantics for OWL axioms, show that IC validation can be reduced to query answering, and present our preliminary results with a prototype implementation using Pellet.
dc.relation.urihttps://tw.rpi.edu/project/InferenceWeb
dc.subjectInference Web
dc.titleIntegrity Constraints in OWL


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record