Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/iswc2009/paper/poster_demo/194> ?p ?o. }
Showing items 1 to 10 of
10
with 100 items per page.
- 194 creator evren-sirin.
- 194 creator jiao-tao.
- 194 type InProceedings.
- 194 label "Integrity Constraints in OWL".
- 194 sameAs 194.
- 194 abstract "In 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.".
- 194 hasAuthorList authorList.
- 194 hasTopic Semantic_Web.
- 194 isPartOf proceedings.
- 194 title "Integrity Constraints in OWL".