Thesis
Consequence-based reasoning for ontology classification
- Abstract:
-
Description logics (DLs) are knowledge representation languages that provide the theoretical underpinning for modern ontology languages such as OWL and serve as the basis for the development of ontology reasoners and tools.
Most modern ontology reasoners are based on optimized tableau algorithms, which perform reasoning by trying to build counter-models. More recently, another kind of reasoning algorithms has been introduced that, instead of building counter-models, directly derive ...
Expand abstract
Actions
Authors
Contributors
+ Horrocks, I
Division:
MPLS
Department:
Computer Science
Role:
Supervisor
+ Kazakov, Y
Division:
MPLS
Department:
Computer Science
Role:
Supervisor
Funding
+ Engineering and Physical Sciences Research Council
More from this funder
Funding agency for:
Simancik, F
Bibliographic Details
- Publication date:
- 2013
- Type of award:
- DPhil
- Level of award:
- Doctoral
- Awarding institution:
- Oxford University, UK
Item Description
- Language:
- English
- Keywords:
- Subjects:
- UUID:
-
uuid:5e16d4ca-d80b-413b-9701-28febcf15613
- Local pid:
- ora:7377
- Deposit date:
- 2013-09-30
Terms of use
- Copyright holder:
- Simancik, F
- Copyright date:
- 2013
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record