USA flag logo/image

An Official Website of the United States Government

Closing and Opening Worlds: Integrity Constraints and Expressive Keys in OWL

Award Information

Agency:
Department of Commerce
Branch:
National Institute of Standards and Technology
Award ID:
84349
Program Year/Program:
2008 / SBIR
Agency Tracking Number:
205-08
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
CLARK AND PARSIA, LLC
926 N ST NW REAR STUDIO #1 WASHINGTON, DC -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2008
Title: Closing and Opening Worlds: Integrity Constraints and Expressive Keys in OWL
Agency / Branch: DOC / NIST
Contract: SB1341-08-SE-0656
Award Amount: $84,480.00
 

Abstract:

We propose to evaluate tree dominant semantics for description logic integrity constraints, as well as multiple proposals for adding syntax for integrity constraint axioms, to the Web Ontology Language standard, OWL. Further, we propose to implement a semantics, in the form of a syntax compiler and data set validator, in order to establish the feasibility and utility of such work for the validation of supply chain management messages, as well as for other, related forms of information integration based on ontologies. Being able to selectively manage open world an closed world reasoning assumptions allows the use of OWL as an expressive schema language for data models. We further propose to consider the applicability of existing description logic explanation and debugging services in Pellet, an OWL DL reasoner, to increase the usability and comprehension of integrity constraints for ontology developers and users of supply chain messaging validators.

Principal Investigator:

Evren Sirin
2024088770
evren@clarkparsia.com

Business Contact:

Small Business Information at Submission:

Clark & Parsia, LLC
926 N St., NW REAR, Studio #1 Washington, DC 20001

EIN/Tax ID:
DUNS: N/A
Number of Employees: N/A
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No