Thesis icon

Thesis

Consequence-based reasoning for SRIQ ontologies

Abstract:

Description logics (DLs) are knowledge representation formalisms with numerous applications and well-understood model-theoretic semantics and computational properties. SRIQ is a DL that provides the logical underpinning for the semantic web language OWL 2, which is the W3C standard for knowledge representation on the web.

A central component of most DL applications is an efficient and scalable reasoner, which provides services such as consistency testing and classi...

Expand abstract

Actions


Access Document


Files:

Authors


More by this author
Institution:
University of Oxford
Oxford college:
Pembroke College
Role:
Author

Contributors

Department:
Computer Science
Role:
Supervisor
Department:
Computer Science
Role:
Supervisor
Department:
Computer Science
Role:
Supervisor
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
University of Oxford
Language:
English
Keywords:
Subjects:
UUID:
uuid:6b35e7d0-199c-4db9-ac8a-7f78256e5fb8
Deposit date:
2018-02-25

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP