Scalable reasoning for description logics

Scalable reasoning for description logics

Description logics (DLs) are knowledge representation formalisms with well-understood model-theoretic semantics and computational properties. The DL SROIQ provides the logical underpinning for the semantic web language OWL 2, which is quickly becoming the standard for knowledge representation on the...

Full description

Bibliographic Details
Main Author: Shearer, Robert D. C.
Other Authors: Horrocks, Ian : Motik, Boris
Published: University of Oxford 2011
Subjects:
005.3
Computer science (mathematics) : Mathematical logic and foundations : Applications and algorithms : description logics : automated reasoning : classification
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540275

Internet

http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540275

Similar Items