• TRIPLE

  • Referenced in 21 articles [sw02460]
  • language for the Semantic Web. TRIPLE is based on Horn logic and borrows many basic ... Simple Logic-based RDF Interpreter). One of the most important differences to F-Logic ... that TRIPLE does not have a fixed semantics for object-oriented features like classes...
  • N3Logic

  • Referenced in 9 articles [sw02003]
  • Semantic Web drives toward the use of the Web for interacting with logically interconnected data ... Semantic Web provides a unifying representation of richly structured data. Adding logic...
  • QMT

  • Referenced in 22 articles [sw07137]
  • particular logical formalism. QMT can integrate various search paradigms such as unification, semantic web...
  • Gandalf

  • Referenced in 35 articles [sw10133]
  • proves theorems formulated in logic. Since logic is a pretty universal language, ATP systems such ... area for ATP systems is the Semantic Web: a project to bring machine-understandable content...
  • DAMLJessKB

  • Referenced in 3 articles [sw23528]
  • Reasoning with the Semantic Web: DAMLJessKB is a description logic reasoner for the DARPA Agent ... slowly being migrated to the W3C Ontology Web Language (OWL) as OWLJessKB. There...
  • DL-learner

  • Referenced in 7 articles [sw14439]
  • logics and OWL. OWL is the official W3C standard ontology language for the Semantic Web ... solving problems similar to those in Inductive Logic Programming. DL-Learner includes several learning algorithms...
  • Racer

  • Referenced in 66 articles [sw09837]
  • those of you who used the previous web site it is important to note that ... such as, e.g., logical abduction. Racer also provides the powerful and semantically well-defined conjunctive...
  • Veriflog

  • Referenced in 4 articles [sw08941]
  • Constraint Logic Programming Approach to Verification of Website Content. Web site semantic content verification ... syntactic validation and semantic verification based on the logic programming language XCentric. The high declarative...
  • EvoOnt

  • Referenced in 1 article [sw16434]
  • Furthermore, given OWL’s Description Logic foundation, any Semantic Web engine allows to derive additional...
  • MBase

  • Referenced in 17 articles [sw08724]
  • data model of the MBase system, a web-based, distributed mathematical knowledge base. This system ... formalized mathematics where the formal representation allows semantics-based retrieval of distributed mathematical facts ... knowledge and analyze its structure. For the logical formulation of mathematical concepts, we propose...
  • DLog

  • Referenced in 8 articles [sw09839]
  • DLog system. Traditional algorithms for Description Logic (DL) instance retrieval are inefficient for large amounts ... popular in areas such as the Semantic Web and information integration, it is very important...
  • Real

  • Referenced in 2 articles [sw24592]
  • enhanced user experience and improved features for web-services. We recount the full syntax ... that Real is a powerful extension to logic programming, providing access to a popular statistical ... semantic web, computational biology and bioinformatics as application areas for research in logic programming...
  • KRHyper

  • Referenced in 1 article [sw25424]
  • mobile semantic web applications. To satisfy this need, a Description Logics (DL) interface is provided...
  • DRAGO

  • Referenced in 3 articles [sw15032]
  • necessity of building the interoperable Semantic Web. In contrast to the so called global reasoning ... Distributed Description Logics as a formal framework for representation of multiple semantically connected ontologies...
  • DR-Prolog

  • Referenced in 4 articles [sw30410]
  • reasoning and proof explanation in the Semantic Web, and the implementation of three different tools ... Prolog API; (b) the DR-Prolog Web application; and (c) the DR-Prolog desktop application ... Prolog supports reasoning with Defeasible Logic theories and ontological knowledge...
  • Ontograte

  • Referenced in 1 article [sw00651]
  • important research problems for the Semantic Web. We have designed a comprehensive framework called OntoGrate ... logic inference engine, and several syntax wrappers that inter-operate with consistent semantics to answer ... semantics for mapping discovery and query translation by transforming database schemas to Semantic Web ontologies...
  • CDAOstore

  • Referenced in 4 articles [sw06415]
  • CDAOstore: a phylogenetic repository using logic programming and web services The CDAOStore is a portal ... CDAOStore lies in the use of a semantic-based approach to the storage and querying ... exchange format (NeXML), and a web services API (PhyloWS). CDAOStore has been implemented ... using a combination of standard web technologies and logic programming technology. In particular, we employed...
  • FrameNet

  • Referenced in 5 articles [sw01965]
  • Semantic Web context, to enable e.g. better query answering based on “semantical” information. In this ... open question how to operationalize semantic information on a larger scale. As a basis ... into the answer set programming paradigm of logic programming. Because a number of different reasoning...
  • PhyloWS

  • Referenced in 3 articles [sw08275]
  • aimed at demonstrating the use of logic programming technology to support a large scale deployment ... technology in implementing the PhyloWS web service API -- a recently proposed and community-agreed standard ... realization of PhyloWS on a repository of semantically-described phylogenetic studies. The paper also presents...
  • JPhyloRef

  • Referenced in 1 article [sw39820]
  • well as a web service for reasoning with ontologies con- taining logical de nitions ... facilitate automated testing that the semantics of the logical de nitions imply (“resolve ... clade ancestor nodes implied by logical clade de nitions, results are returned as a JSON ... reference library for reading Web Ontology Language (OWL) ontologies, and for the actual ontology reasoning...