• Pellet

  • Referenced in 95 articles [sw07019]
  • Pellet: OWL 2 Reasoner for Java. For applications that need to represent and reason about ... information using OWL, Pellet is the leading choice for systems where sound-and-complete ... OWL DL reasoning is essential. Pellet includes support for OWL 2 profiles including ... OWL 2 EL. It incorporates optimizations for nominals, conjunctive query answering, and incremental reasoning. There...
  • swrl

  • Referenced in 50 articles [sw14002]
  • SWRL: A Semantic Web Rule Language Combining OWL and RuleML. This document contains a proposal ... SWRL) based on a combination of the OWL DL and OWL Lite sublanguages ... OWL Web Ontology Language with the Unary/Binary Datalog RuleML sublanguages of the Rule Markup Language ... Horn-like rules in both the OWL DL and OWL Lite sublanguages...
  • FaCT++

  • Referenced in 71 articles [sw09836]
  • generation of the well-known FaCT OWL-DL reasoner. FaCT++ uses the established FaCT algorithms...
  • HermiT

  • Referenced in 22 articles [sw12418]
  • HermiT: A highly-efficient OWL reasoner. HermiT is reasoner for ontologies written using ... Ontology Language (OWL). Given an OWL file, HermiT can determine whether or not the ontology ... more. HermiT is the first publicly-available OWL reasoner based on a novel “hypertableau” calculus ... HermiT uses direct semantics and passes all OWL 2 conformance tests for direct semantics reasoners...
  • LUBM

  • Referenced in 23 articles [sw14975]
  • LUBM: A benchmark for OWL knowledge base systems. We describe our method for benchmarking Semantic ... systems with respect to use in large OWL applications. We present the Lehigh University Benchmark ... ontology for the university domain, synthetic OWL data scalable to an arbitrary size, 14 extensional...
  • ELK

  • Referenced in 19 articles [sw22930]
  • reasoner for OWL 2 ontologies that currently supports (most of) the OWL 2 EL ontology ... source reasoner for the lightweight ontology language OWL 2 EL, developed by the University ... Java and can be controlled using the OWL API, Protégé, the Snow Owl ontology editor...
  • Ontop

  • Referenced in 17 articles [sw22931]
  • Answering SPARQL Queries over Databases under OWL 2 QL Entailment Regime. We present an extension ... that supports answering SPARQL queries under the OWL 2 QL direct semantics entailment regime ... show how any input SPARQL query, OWL 2 QL ontology and R2RML mappings...
  • DeLorean

  • Referenced in 15 articles [sw22920]
  • DeLorean: A reasoner for fuzzy OWL 2. Today, there is a growing interest ... supports fuzzy extensions of the standard languages OWL and OWL 2. In a strict sense...
  • Konclude

  • Referenced in 13 articles [sw12474]
  • handle all of the Web Ontology Language (OWL 2) with almost all datatypes. In addition ... command line. For applications that use the OWL API, the OWLlink OWL API Adapter...
  • PR-OWL

  • Referenced in 9 articles [sw22024]
  • OWL - a language for defining probabilistic ontologies. Recent years have witnessed an increasingly mature body ... these is Probabilistic Web Ontology Language (PR-OWL), which provides a means of representing uncertainty ... ontologies expressed in Web Ontology Language (OWL). PR-OWL allows values of random variables ... range over OWL datatypes, following an approach suggested by Poole et al. to formalizing...
  • OntoDLV

  • Referenced in 9 articles [sw30415]
  • more appropriate than the OntologyWeb Language (OWL) assumptions, also because such ontologies frequently stem from ... OntoDLV supports a powerful interoperability mechanism with OWL, allowing the user to retrieve information from ... OWL ontologies, and build rule-based reasoning on top of OWL ontologies. The system...
  • CEL

  • Referenced in 15 articles [sw12477]
  • medical and biological ontologies. CEL is an OWL 2 EL reasoner (albeit currently with some...
  • BayesOWL

  • Referenced in 8 articles [sw36763]
  • procedures for direct translation of an OWL ontology into a BN directed acyclic graph ... time, BayesOWL is restricted to translating only OWL-DL concept taxonomies into ... actively working on extending the framework to OWL ontologies with property restrictions...
  • BioPortal

  • Referenced in 13 articles [sw22917]
  • browsers to ontologies developed in OWL, RDF, OBO format and Protégé frames. BioPortal functionality includes...
  • DL-learner

  • Referenced in 7 articles [sw14439]
  • framework for learning in description logics and OWL. OWL is the official W3C standard ontology ... learned for constructing and maintaining OWL ontologies or for solving problems similar to those ... includes several learning algorithms, support for different OWL formats, reasoner interfaces, and learning problems...
  • NoHR

  • Referenced in 5 articles [sw27501]
  • NoHR: integrating XSB prolog with the OWL 2 profiles and beyond. We present the latest ... queries over hybrid theories composed of an OWL ontology in description logics ... combination of reasoners dedicated to OWL and rules – but it is also available ... first that supports all polynomial OWL profiles, and even beyond, allowing for its usage with...
  • KAON2

  • Referenced in 5 articles [sw09838]
  • KAON2 is an infrastructure for managing OWL-DL, SWRL, and F-Logic ontologies. KAON2 provides ... features: An API for programmatic management of OWL-DL, SWRL, and F-Logic ontologies...
  • WebPIE

  • Referenced in 7 articles [sw12482]
  • perform materialization under the RDFS and OWL ter Horst semantics using the MapReduce programming model...
  • PAGOdA

  • Referenced in 3 articles [sw17539]
  • hybrid approach to query answering over OWL 2 ontologies that combines a datalog reasoner with ... fully-fledged OWL 2 reasoner in order to provide scalable `pay-as-you-go’ performance ... datalog reasoner and resorts to expensive OWL 2 reasoning only as necessary to fully answer ... goal is to efficiently answer queries over OWL 2 ontologies and data, our technical results...
  • TrOWL

  • Referenced in 6 articles [sw12480]
  • TrOWL: Tractable OWL 2 reasoning infrastructure. The Semantic Web movement has led to the publication...