Jump to content United States-English
HP.com Home Products and Services Support and Drivers Solutions How to Buy
» Contact HP

HP.com home


Technical Reports



» 

HP Labs

» Research
» News and events
» Technical reports
» About HP Labs
» Careers @ HP Labs
» Worldwide sites
» Downloads
Content starts here

 
Click here for full text: PDF

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

»Technical Reports

» 2009
» 2008
» 2007
» 2006
» 2005
» 2004
» 2003
» 2002
» 2001
» 2000
» 1990 - 1999

Heritage Technical Reports

» Compaq & DEC Technical Reports
» Tandem Technical Reports
Printable version
Privacy statement Using this site means you accept its terms Feedback to HP Labs
© 2009 Hewlett-Packard Development Company, L.P.