TitleEfficient Reasoning Algorithms for Fragments of Horn Description Logics Publication TypeThesis AuthorsCarral, D PhD Dissertation Carral.pdfProjects: TROn - Tractable Reasoning with Ontologies Google ScholarBibTexRTFTaggedMARCXMLRIS