Practical Conforming Datatype Groups

[摘要] 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

[发布机构] HP Development Company

[学科分类] 计算机科学（综合）

[关键词] datatype group;decidability;OWL