Thesis
Scalable reasoning for description logics
- Abstract:
-
Description logics (DLs) are knowledge representation formalisms with well-understood model-theoretic semantics and computational properties. The DL SROIQ provides the logical underpinning for the semantic web language OWL 2, which is quickly becoming the 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 classification. Despite major advances in D...
Expand abstract
Actions
Authors
Contributors
+ Horrocks, I
Division:
MPLS
Department:
Computer Science
Role:
Supervisor
+ Motik, B
Division:
MPLS
Department:
Computer Science
Role:
Supervisor
Bibliographic Details
- Publication date:
- 2011
- Type of award:
- DPhil
- Level of award:
- Doctoral
- Awarding institution:
- University of Oxford
Item Description
- Language:
- English
- Keywords:
- Subjects:
- UUID:
-
uuid:d7c4fbf6-4258-4db4-a451-476dcebe68ca
- Local pid:
- ora:6050
- Deposit date:
- 2012-02-03
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record