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

Citations by Year