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.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 6 articles )

Showing results 1 to 6 of 6.
Sorted by year (citations)

  1. Parsia, Bijan; Matentzoglu, Nicolas; Gonçalves, Rafael S.; Glimm, Birte; Steigmiller, Andreas: The OWL reasoner evaluation (ORE) 2015 competition report (2017)
  2. Pan, Jeff Z.; Ren, Yuan; Zhao, Yuting: Tractable approximate deduction for OWL (2016)
  3. Kazakov, Yevgeny; Krötzsch, Markus; Simančík, František: The incredible ELK. From polynomial procedures to efficient reasoning with (\mathcalEL) ontologies (2014)
  4. Alabbas, Maytham; Ramsay, Allan: Natural language inference for Arabic using extended tree edit distance with subtrees (2013) ioport
  5. Kollia, Ilianna; Glimm, Birte: Optimizing SPARQL query answering over OWL ontologies (2013)
  6. Thomas, Edward; Pan, Jeff Z.; Ren, Yuan: TrOWL: tractable OWL 2 reasoning infrastructure (2010) ioport