Show simple item record

dc.contributor.authorCharaniya, Sadiq
dc.date.accessioned2014-03-04T18:27:12Z
dc.date.available2014-03-04T18:27:12Z
dc.date.issued2010-05
dc.identifier.othercharaniya_sadiq_201005_ms
dc.identifier.urihttp://purl.galileo.usg.edu/uga_etd/charaniya_sadiq_201005_ms
dc.identifier.urihttp://hdl.handle.net/10724/26273
dc.description.abstractOntologies are used by domain experts for knowledge representation in an unambiguous manner. After the World Wide Web Consortium (W3C) has recommended Web Ontology Language (OWL) for representing ontologies on the web, a large number of domain ontologies have been developed. This represented knowledge in the form of OWL can not only be used by other people but also by software applications. Although representing knowledge in a structured form like OWL is important, reasoning with OWL ontologies holds the key to many applications. Several OWL reasoners (Racer, FaCT++, Pellet, etc.) have been developed to serve the purpose. However, reasoning with some ontologies can be computational so expensive that reasoners practically becomes unusable. The thesis discusses facilitating reasoners by finding the smallest construct of an ontology that causes reasoners to be unusable.
dc.languageeng
dc.publisheruga
dc.rightspublic
dc.subjectOntology
dc.subjectOWL
dc.subjectreasoners
dc.subjectdescription logic
dc.subjecttableau algorithm
dc.titleFacilitating DL reasoners through ontology partitioning
dc.typeThesis
dc.description.degreeMS
dc.description.departmentComputer Science
dc.description.majorComputer Science
dc.description.advisorJohn A. Miller
dc.description.committeeJohn A. Miller
dc.description.committeeWilliam York
dc.description.committeeKrzysztof J. Kochut


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