Constraint Generation and Reasoning in OWL
This item is restricted to only allow viewing of the metadata.
Title
Constraint Generation and Reasoning in OWL
Author
Briggs , Thomas Henry
Advisors
Peng , Yun
Program
Computer Science
UMBC Department
Computer Science and Electrical Engineering
Document Type
dissertation
Sponsors
University of Maryland , Baltimore County (UMBC)
Keywords
Constraint ; Default Reasoning ; OWL
Date Issued
2008-01-01 ;
Abstract
The majority of OWL ontologies in the emerging Semantic Web are constructed from properties that lack domain and range constraints . Constraints in OWL are different from the familiar uses in programming languages and databases . They are actually type assertions that are made about the individuals which are connected by the property . Because they are type assertions these assertions can add vital information to the individuals involved and give information on how the defining property may be used . Three different automated generation techniques are explored in this research : disjunction , least-common named subsumer , and vivification . Each algorithm is compared for the ability to generalize , and the performance impacts with respect to the reasoner . A large sample of ontologies from the Swoogle repository are used to compare real-world performance of these techniques . Using generated facts is a type of default reasoning . This may conflict with future assertions to the knowledge base . While general default reasoning is non-monotonic and undecidable a novel approach is introduced to support efficient contraction of the default knowledge . Constraint generation and default reasoning , together , enable a robust and efficient generation of domain and range constraints which will result in the inference of additional facts and improved performance for a number of Semantic Web applications .
Identifier
10006
Format
application:pdf
Language
en
Collection
UMBC Theses and Dissertations
Rights Statement
This item may be protected under Title 17 of the U.S. Copyright Law. It is made available by UMBC for non-commercial research and education. For permission to publish or reproduce, please see http://library.umbc.edu/speccoll/rightsreproductions.php or contact Special Collections at speccoll(at)umbc.edu.
Source
Briggs_umbc_0434D_10006.pdf
Access Rights
Access limited to the UMBC community. Item may possibly be obtained via Interlibrary Loan through a local library, pending author/copyright holder's permission.
Add tags for Constraint Generation and Reasoning in OWL
you wish to report:
Your comment:
Your Name:
...