Home › Categories › Technology› Integrating XSB Prolog With The OWL 2 Profiles And Beyond

Integrating XSB Prolog With The OWL 2 Profiles And Beyond.pdf

lpnmr17.pdf
Preview of Integrating XSB prolog with the OWL 2 profiles and beyond
🔗 Source: userweb.fct.unl.pt
📊 Size: 576 KB
👤 Author: Carlos Lopes
⬇️ Downloads: 104

Summary

NoHR is a hybrid reasoner that integrates OWL 2 profiles with non-monotonic rules in Logic Programming, allowing for query answering over hybrid theories. It is a plug-in for the ontology editor Protégé and also available as a library, supporting all polynomial OWL profiles and beyond. NoHR combines the capabilities of DL reasoners with the rule engine XSB Prolog, providing features such as support for standard built-in Prolog predicates, a rule editor, and guaranteed termination of query answering. It is theoretically founded on the formalism of Hybrid MKNF under the well-founded semantics, allowing for top-down query procedures and scalable fast interactive response times.

Download File

Description

NoHR is a hybrid reasoner that integrates OWL 2 profiles with non-monotonic rules in Logic Programming, allowing for query answering over hybrid theories.

Technical Information

  • File Format: PDF
  • File Size: 576 KB
  • Pages: 14
  • Language: EN
  • Author: Carlos Lopes
  • Total Downloads: 104
  • Last Updated: 3 days ago

Document Overview

This PDF document about Integrating XSB prolog with the OWL 2 profiles and beyond provides comprehensive information and guidance. Whether you're a beginner or advanced user, this resource offers valuable insights into Integrating XSB prolog with the OWL 2 profiles and beyond.

Related Topics

If you're interested in Integrating XSB prolog with the OWL 2 profiles and beyond, you might also want to explore:

Integrating guideIntegrating tutorialprolog guideprolog tutorialwith guidewith tutorialprofiles guideprofiles tutorialbeyond guidebeyond tutorial

Related Categories

Business & Finance
41204 documents
Education & Learning
22711 documents
Health & Wellness
8956 documents

Related Documents

Preview of Is There Life Beyond the Grave (Part 2)
PDF file

Is There Life Beyond the Grave (Part 2)

87 KBJohn BartolEN2 pages
Science supports the concept of life after death, with experts like Wernher von Braun and Nobel prize winner Arthur H.
Download
Preview of Prologo
PDF file

Prologo

56 KBIT4 pages
Due ragazzini di otto anni, Claudio e Paolo, si divertono a mettere sassi sulle rotaie della ferrovia e a fare da "assistenti" ai turisti nella...
Download
Preview of VIM Profilers
PDF file

VIM Profilers

1.68 MBDIGITAL-3.0-01EN2 pages
VIM Profilers is a software kit for creating and editing motion and power profiles for automating processes on Vacuum Induction Melting (VIM) type...
Download
Preview of Prólogo
PDF file

Prólogo

1.02 MBG3ES26 pages
Prólogo de Andrés Moya para una publicación científica con premio europeo de divulgación científica, editada por la Universitat de València, con...
Download
Preview of Beyond the Campus
PDF file

Beyond the Campus

1.54 MBKarl MeyerEN2 pages
Extracted from CONNECT magazine issue 15, May 2014
Download

Download Integrating XSB prolog with the OWL 2 profiles and beyond eBooks for free and learn more about Integrating XSB prolog with the OWL 2 profiles and beyond. These books contain exercises and tutorials to improve your practical skills, at all levels!

Not satisfied with this document? We have related documents to Integrating XSB prolog with the OWL 2 profiles and beyond, try searching with similar keywords: Integrating XSB prolog with the OWL 2 profiles and beyond, exercice prolog logique listes des fichiers pdf exercice prolog logique, tp2 prolog listes des fichiers pdf tp2 prolog, Share Ebook Beyond Roasting Beyond Series Beyond , Beyond Roasting Beyond Series Beyond Series , This book has 572 profiles with photographs and many other profiles with out photographs., translating owl to prolog, Owl Symbolism Totem And Meaning Of The Owl All Totems

You can download PDF versions of the user's guide, manuals and ebooks about Integrating XSB prolog with the OWL 2 profiles and beyond, you can also find and download for free A free online manual (notices) with beginner and intermediate, Downloads Documentation, You can download PDF files (or DOC and PPT) about Integrating XSB prolog with the OWL 2 profiles and beyond for free, but please respect copyrighted ebooks.