Tractable Reasoning in Description Logics with Functionality Constraints
Attributed to:
LIQUID: Logic-based Integration and Querying of Unindexed Internet Data
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-41660-6_8
Publication URI: http://dx.doi.org/10.1007/978-3-642-41660-6_8
Type: Book Chapter
Book Title: In Search of Elegance in the Theory and Practice of Computation (2013)
Page Reference: 174-192
ISBN: 978-3-642-41659-0