book chapterLecture notes in computer scienceJan 1, 2006Closed access

FaCT++ Description Logic Reasoner: System Description

DTDmitry TsarkovIHIan Horrocks

University of Manchester

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

782
total citations
FWCI
38.01
Percentile
100%
References
15
Citations per year

Authors

2

Topics & keywords

Topics
Keywords
  • Semantic reasoner
  • Computer science
  • Heuristics
  • Description logic
  • Ontology
  • Programming language
  • Theoretical computer science
  • Range (aeronautics)
UN Sustainable Development Goals
  • Peace, Justice and strong institutions
No related works found for this paper.