TrOWL swMATH ID: 12480 Software Authors: Thomas, E., Pan, J.Z., Ren, Y. Description: TrOWL: Tractable OWL 2 reasoning infrastructure. The Semantic Web movement has led to the publication of thousands of ontologies online. These ontologies present and mediate information and knowledge on the Semantic Web. Tools exist to reason over these ontologies and to answer queries over them, but there are no large scale infrastructures for storing, reasoning, and querying ontologies on a scale that would be useful for a large enterprise or research institution. We present the TrOWL infrastructure for transforming, reasoning, and querying OWL2 ontologies which uses novel techniques such as Quality Guaranteed Approximations and Forgetting to achieve this goal. Homepage: http://rd.springer.com/chapter/10.1007/978-3-642-13489-0_38 Related Software: Pellet; ELK; Chainsaw; Racer; FaCT++; LUBM; Konclude; GitHub; JFact; ELepHant; BioPortal; OpenStreetMap; RacerPro; HermiT; TPTP; DLog; Ontobee; Snorocket; Protege; DReW Cited in: 4 Publications all top 5 Cited by 12 Authors 2 Glimm, Birte 1 Gonçalves, Rafael S. 1 Kazakov, Yevgeny 1 Kollia, Ilianna 1 Krötzsch, Markus 1 Matentzoglu, Nicolas 1 Pan, Jeff Z. 1 Parsia, Bijan 1 Ren, Yuan 1 Simančík, František 1 Steigmiller, Andreas 1 Zhao, Yuting Cited in 3 Serials 2 Journal of Automated Reasoning 1 Artificial Intelligence 1 The Journal of Artificial Intelligence Research (JAIR) Cited in 1 Field 4 Computer science (68-XX) Citations by Year