Owl

Description Logics and Ontologies: Formal Knowledge Representation

Comprehensive guide to description logics and ontologies, exploring formal approaches to knowledge representation with decidable reasoning.