Learn More
ProbLog is a recently introduced probabilistic extension of Prolog (De Raedt, et al. in Proceedings of the 20th international joint conference on artificial intelligence, pp. 2468–2473, 2007). A ProbLog program defines a distribution over logic programs by specifying for each clause the probability that it belongs to a randomly sampled program, and these(More)
Description logics have become a prominent paradigm in knowledge representation (particularly for the Semantic Web), but they typically do not include explicit representation of uncertainty. In this paper, we propose a framework for automatically learning a Probabi-listic Description Logic from data. We argue that one must learn both concept definitions and(More)
Various approaches for services development in SOA propose business processes as a starting point. However, there is a lack of systematic methods for services identification during business analysis. We believe that there has to exist a integrated view of organizational business processes to promote an effective SOA approach, which will improve IS(More)
Predicting potential links between nodes in a network is a problem of great practical interest. Link prediction is mostly based on graph-based features and, recently, on approaches that consider the semantics of the domain. However, there is uncertainty in these predictions; by modeling it, one can improve prediction results. In this paper, we propose an(More)
Semantic data integration and application interoperability are recognized challenges in distributed scenarios, and they have long being addressed by ontology alignment techniques, which try to find correspondences between entities that are semantically equivalent in distinct ontologies. However, ontology alignment is still a costly and difficult task,(More)
The ProbLog (probabilistic prolog) language has been introduced in [1], where various algorithms have been developed for solving and approximating ProbLog queries. Here, we define and study the problem of revising ProbLog theories from examples. A ProbLog program consists – as Prolog – of a set of definite clauses. However, in ProbLog every clause c i is(More)