Output details
11 - Computer Science and Informatics
University of Oxford
Return to search
Output 0 of 0 in the submission
Article title
Representing ontologies using description logics, description graphs, and rules
Type
D - Journal article
Title of journal
Artificial Intelligence
Article number
-
Volume number
173
Issue number
14
First page of article
1275
ISSN of journal
0004-3702
Year of publication
2009
Number of additional authors
3
Additional information
<22>
This paper describes a novel formalism that extends description logics with the ability to describe arbitrary graph structures; it investigates restrictions needed in order to ensure decidability, analyses computational complexity, proves soundness and completeness of decision procedures, and presents an evaluation based on a prototypical implementation. Applications of this work can be found, e.g., in the modelling of anatomical structures and chemical molecules.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
23
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-