Optimizing a tableau reasoner and its implementation in Prolog

Zese, Riccardo; Cota, Giuseppe

doi:10.1016/j.websem.2021.100677

Search citation statements

Order By: Relevance

Paper Sections

Select...

Related Work1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2023

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 36 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Another work that goes in the same direction is the one presented in [18]. It proposes the integration of an OWL reasoner in a framework, named TRILL, containing three probabilistic reasoners written in Prolog in order to manage the non-determinism of tableau methods implemented by Semantic Web reasoners.…”

Section: Related Workmentioning

confidence: 99%

Semantic Web Services Ingestion in a Process Mining Framework

Redavid,

Ferilli

2023

Electronics

View full text Add to dashboard Cite

Process mining can be applied to systems for the management of Workflow, Business Processes and, in general, Process-Aware Information to discover and analyse implicit processes. In recent times, semantic interoperability has also become of crucial importance in the area of business processes. In particular, interoperability enables the discovery of new knowledge about processes by exploiting automatic reasoning on information originating from external formal descriptions. To this end, the use of Semantic Web technologies could be one possible solution. Given the different paradigms underpinning the two fields of research, adaptations are needed to realise this solution. In this paper, a possible mapping between Inductive Logic Programming and Semantic Web rules is proposed to discover additional knowledge that can be integrated into the process mining techniques outcomes.

show abstract

Section: Related Workmentioning

confidence: 99%