We present the web application TRILL on SWISH, which allows the user to write probabilistic Description Logic (DL) theories and compute the probability of queries with just a web browser. Various probabilistic extensions of DLs have been proposed in the recent past, since uncertainty is a fundamental component of the Semantic Web. We consider probabilistic DL theories following our DISPONTE semantics. Axioms of a DISPONTE Knowledge Base (KB) can be annotated with a probability and the probability of queries can be computed with inference algorithms. TRILL is a probabilistic reasoner for DISPONTE KBs that is implemented in Prolog and exploits its backtracking facilities for handling the non-determinism of the tableau algorithm. TRILL on SWISH is based on SWISH, a recently proposed web framework for logic programming, based on various features and packages of SWI-Prolog (e.g., a web server and a library for creating remote Prolog engines and posing queries to them). TRILL on SWISH also allows users to cooperate in writing a probabilistic DL theory. It is free, open, and accessible on the Web at the url: rillurl; it includes a number of examples that cover a wide range of domains and provide interesting Probabilistic Semantic Web applications. By building a web-based system, we allow users to experiment with Probabilistic DLs without the need to install a complex software stack. In this way we aim to reach out to a wider audience and popularize the Probabilistic Semantic Web.
Titolo: | A web system for reasoning with probabilistic OWL |
Autori: | BELLODI, Elena (Primo) COTA, Giuseppe (Ultimo) |
Data di pubblicazione: | 2017 |
Rivista: | |
Handle: | http://hdl.handle.net/11392/2350946 |
Appare nelle tipologie: | 03.1 Articolo su rivista |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
BelLamRig-SPE16.pdf | Articolo principale | Post-print | PUBBLICO - Pubblico con Copyright | Open Access Visualizza/Apri |
spe.2410.pdf | articolo | Full text (versione editoriale) | NON PUBBLICO - Accesso privato/ristretto | Administrator Richiedi una copia |