Publications

Export 112 results:
Sort by: Title [ Year  (Desc)]
2015
Gomes, Ana Sofia, and José Júlio Alferes. "How to combine event stream reasoning with transactions for the semantic web." Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015, Proceedings. Vol. 9202. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9202. Springer-Verlag, 2015. 258-273. Abstractruleml.pdf

Semantic Sensor Web is a new trend of research integrating Semantic Web technologies with sensor networks. It uses Semantic Web standards to describe both the data produced by the sensors, but also the sensors and their networks, which enables interoperability of sensor networks, and provides a way to formally analyze and reason about these networks. Since sensors produce data at a very high rate, they require solutions to reason efficiently about what complex events occur based on the data captured. Nevertheless, besides detecting complex events, sensor based applications also need to execute actions in response to these events, and in some cases, to execute these actions in a transactional way. In this paper we propose TRev as a solution to combine the detection of complex events with the execution of transactions for these domains. TRev is an abstract logic to model and execute reactive transactions. The logic is parametric on a pair of oracles defining the basic primitives of the domain, which makes it suitable for a wide range of applications. In this paper we provide oracle instantiations combining RDF/OWL and relational database semantics for TRev Afterwards, based on these oracles, we illustrate how TRev can be useful for these domains.

Gomes, Ana Sofia, and José Júlio Alferes. "A procedure for an event-condition-transaction language." Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Proceedings. Vol. 9209. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9209. Springer-Verlag, 2015. 113-129. Abstractrr15.pdf

Event-Condition-Action languages are the commonly accepted para- digm to express and model the behavior of reactive systems. While numerous Event-Condition-Action languages have been proposed in the literature, differing e.g. on the expressivity of the language and on its operational behavior, existing Event-Condition-Action languages do not generally support the action compo- nent to be formulated as a transaction. In this paper, sustaining that it is important to execute transactions in reactive languages, we propose an Event-Condition- Transaction language, based on an extension of Transaction Logic. This exten- sion, called Transaction Logic with Events (T Rev ), combines reasoning about the execution of transactions with the ability to detect complex events. An impor- tant characteristic of T Rev is that it takes a choice function as a parameter of the theory, leaving open the behavioral decisions of the logic, and thereby allowing it to be suitable for a wide-spectrum of application scenarios like Semantic Web, multi-agent systems, databases, etc. We start by showing how T Rev can be used as an Event-Condition-Action language where actions are considered as transac- tions, and how to differently instantiate this choice function to achieve different operational behaviors. Then, based on a particular operational instantiation of the logic, we present a procedure that is sound and complete w.r.t. the semantics and that is able to execute T Rev programs

2014
Gomes, Ana Sofia, José Júlio Alferes, and Terrance Swift. "A goal-directed implementation of query answering for hybrid MKNF knowledge bases." Theory and Practice of Logic Programming. 14 (2014): 239-264. Abstracttplp-11-mknf.pdf

n/a

Knorr, Matthias, and José Julio Alferes. "Preserving strong equivalence while forgetting." Logics in Artificial Intelligence - 14th European Conference, JELIA 2014. Vol. 8761. Springer Verlag, 2014. 412-425. Abstractjelia14.pdf

n/a

Alferes, José Júlio, and Ana Sofia Gomes. "Transaction Logic with (Complex) Events." International Conference on Logic Programming. 2014. Abstracticlp14.pdf

n/a

2013
Gonçalves, Ricardo, and José Júlio Alferes. "Decidability and Implementation of Parametrized Logic Programs." Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013. Springer-Verlag, 2013. 361-373. Abstractlpnmr13a.pdf

n/a

Gonçalves, Ricardo, and José Júlio Alferes. "Deontic logic programs." International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13. IFAAMAS, 2013. 1333-1334. Abstractaamas13.pdf

n/a

Alferes, José Júlio, Ricardo Gonçalves, and João Leite. "Equivalence of defeasible normative systems." Journal Of Applied Non-Classical Logics. 23 (2013): 25-48. Abstractjancl13.pdf

n/a

Gomes, Ana Sofia, and José Júlio Alferes. "Extending Transaction Logic with External Actions." Theory And Practice Of Logic Programming. 13.4-5-Online-Supplement (2013). Abstracticlp13.pdf

n/a

Gomes, Ana Sofia, and José Júlio Alferes. "External Transaction Logic with Automatic Compensations." Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV. Springer-Verlag, 2013. 239-255. Abstractclima13.pdf

n/a

Alferes, José Júlio, Matthias Knorr, and Kewen Wang. "Forgetting under the Well-Founded Semantics." Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013. Springer-Verlag, 2013. 36-41. Abstractforgettinglpnmr13.pdf

n/a

Alferes, José Júlio, Matthias Knorr, and Terrance Swift. "Query-Driven Procedures for Hybrid MKNF Knowledge Bases." ACM Transactions On Computational Logic. 14.2 (2013). Abstracttocl13.pdf

n/a

2012
Gonçalves, Ricardo, and José Júlio Alferes. "An Embedding of Input-Output Logic in Deontic Logic Programs." Deontic Logic in Computer Science - 11th International Conference, DEON 2012. Springer-Verlag, 2012. 61-75. Abstractdeon2012.pdf

n/a

Gonçalves, Ricardo, and José Júlio Alferes. "Specifying and reasoning about normative systems in deontic logic programming." International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012. International Foundation for Autonomous Agents and Multiagent Systems, 2012. 1423-1424. Abstractaamas12deontic.pdf

n/a

2011
Gabaldon, Alfredo, João Leite, and José Júlio Alferes. "Evolving Logic Programs with Temporal Operators." Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in Honor of Michael Gelfond. Eds. M. Balduccini, and T. Son. LNCS/LNAI. Springer, 2011. 193-212. Abstractgelfond65.pdf

n/a

Alferes, José Júlio, Federico Banti, and Antonio Brogi. "Evolving reactive logic programs." Intelligenza Artificiale. 5 (2011): 77-81. Abstract

n/a

Knorr, Matthias, José Júlio Alferes, and Pascal Hitzler. "Local closed world reasoning with description logics under the well-founded semantics." Artificial Intelligence. 175 (2011): 1528-1554. Abstractai11.pdf

n/a

Gonçalves, Ricardo, and José Júlio Alferes. "Parametrized Equilibrium Logic." Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011. Springer, 2011. 236-241. Abstractlpnmr11.pdf

n/a

Gomes, Ana Sofia, and José Júlio Alferes. "A Proposal for Transactions in the Semantic Web." Progress in Artificial Intelligence, 15th Portuguese Conference on Artificial Intelligence, EPIA 2011. Springer, 2011. 690-703. Abstractepia11.pdf

n/a

Knorr, Matthias, and José Júlio Alferes. "Querying OWL 2 QL and Non-monotonic Rules." The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference Science. Springer, 2011. 338-353. Abstractiswc11.pdf

n/a

Gomes, Ana Sofia, and José Júlio Alferes. "Transaction Logic with External Actions." Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011. Springer, 2011. 272-277. Abstractlpnmr11b.pdf

n/a

2010
Damásio, Carlos Viegas, João Leite, and José Júlio Alferes. "Declarative Semantics for the Rule Interchange Format Production Rule Dialect." The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference. Springer, 2010. 798-813. Abstractiswc10.pdf

TheRuleInterchangeFormatProductionRuleDialect(RIF- PRD) is a W3C Recommendation to define production rules for the Semantic Web, whose semantics is defined operationally via labeled ter- minal transition systems.
In this paper, we introduce a declarative logical characterization of the full default semantics of RIF-PRD based on Answer Set Programming (ASP), including matching, conflict resolution and acting.
Our proposal to the semantics of RIF-PRD enjoys several features. Being based on ASP, it enables a straightforward integration with Logic Programming rule based technology, namely for reasoning and acting with ontologies. Then, its full declarative logical character facilitates the in- vestigation of formal properties of RIF-PRD itself. Furthermore, it turns out that our characterization based on ASP is flexible enough so that new conflict resolution semantics for RIF-PRD can easily be defined and encoded. Finally, it immediately serves as the declarative specification of an implementation, whose prototype we developed.

Gomes, Ana Sofia, José Júlio Alferes, and Terrance Swift. "Implementing Query Answering for Hybrid MKNF Knowledge Bases." Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010. Vol. 5937. Springer, 2010. 25-39. Abstractpadl10.pdf

Ontologies and rules are usually loosely coupled in knowledge rep- resentation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non-monotonic, closed-world reasoning. One ex- ception is the tightly-coupled framework of Minimal Knowledge and Negation as Failure (MKNF), which allows statements about individuals to be jointly derived via entailment from an ontology and inferences from rules. Nonetheless, the prac- tical usefulness of MKNF has not always been clear, although recent work has formalized a general resolution-based method for querying MKNF when rules are taken to have the well-founded semantics, and the ontology is modeled by a general Oracle. That work leaves open what algorithms should be used to relate the entailments of the ontology and the inferences of rules. In this paper we pro- vide such algorithms, and describe the implementation of a query-driven system, CDF-Rules, for hybrid knowledge bases combining both (non-monotonic) rules under the well-founded semantics and a (monotonic) ontology, represented by a CDF (ALCQ) theory.

Gonçalves, Ricardo, and José Júlio Alferes. "Parametrized Logic Programming." Logics in Artificial Intelligence - 12th European Conference, JELIA 2010. Springer, 2010. 182-194. Abstract

Traditionally, a logic program is built up to reason about atomic first-order formulas. The key idea of parametrized logic program- ming is that, instead of atomic first-order formulas, a parametrized logic program reasons about formulas of a given parameter logic. Of course, the main challenge is to define the semantics of such general programs. In this work we introduce the novel definitions along with some motivating examples. This approach allows us to prove general results that can be instantiated for every particular choice of the parameter logic. Impor- tant general results we can prove include the existence of semantics and the alternating fix-point theorem of well-founded semantics. To reenforce the soundness of our general framework we show that some known approaches in the literature of logic programming, such as paraconsistent answer-sets and the MKNF semantics for hybrid knowledge bases, are obtained as particular choices of the parameter logic.

Knorr, Matthias. "Querying EL+ with Nonmonotonic Rules." ECAI 2010 - 19th European Conference on Artificial Intelligence. IOS Press, 2010. 1079-1080. Abstractecai10.pdf

A general top-down algorithmization for the Well-Founded MKNF Semantics - a semantics for combining rules and
ontologies - was recently defined based on an extension of SLG resolution for Logic Programming with an abstract oracle to the parametric ontology language. Here we provide a concrete oracle with practical usage, namely for EL+ which is tractable for reasoning tasks like subsumption. We show that the defined oracle remains tractable
(wrt. data complexity) so that the combined (query-driven) approach of non-monotonic rules with that oracle is tractable as well.