| |
Click here for full text:
Practical Conforming Datatype Groups
Turner, David; Carroll, Jeremy
HPL-2007-37
Keyword(s): datatype group; decidability; OWL
Abstract: Datatype groups are an extension to certain Description Logics (DLs) that permit the user to reason about n-tuples of data, where n≥1, and thus to express complex constraints on multiple properties of objects. A conforming datatype group has the appropriate computational properties to preserve the soundness, completeness, and compactness of the reasoning procedure of the underlying DL. We consider examples of datatype groups that appear useful in practice, and illustrate the care that must be taken to ensure that datatype groups are both conforming and practical. Publication Info: 20th International Workshop on Description Logics (DL-2007) Brixen-Bressanone, Italy, 8-10 June, 2007
7 Pages
Back to Index
|
Printable version
