Matches in ScholarlyData for { ?s ?p ?o. }
- item-4 previous item-3.
- 19 creator abdoulaye-guisse.
- 19 creator adeline-nazarenko.
- 19 creator francois-levy.
- 19 creator nouha-omrane.
- 19 creator sylvie-szulman.
- 19 type InProceedings.
- 19 label "Integrating written policies in Business Rule Management Systems".
- 19 sameAs 19.
- 19 abstract "Knowledge acquisition is a key issue in the business rule methodology. As Natural Language (NL) policies and regulations are often important or even contractual sources of knowledge, we propose a framework for acquisition and maintenance of business rules based on NL texts. It enables business experts to author the specification of rule applications without the help of knowledge engineers. This framework has been created as part of the ONTORULE project, which is defining an integrated platform for acquisition, maintenance and execution of business-oriented knowledge bases combining ontologies and rules. Our framework relies on a data structure, called "index", encompassing and connecting the source text, the ontology and a textual representation of rules. Textual rules are as close to the Structured English representation of SBVR as possible for business users in charge of rule elicitation. The index relies on W3C technologies, which makes the tools interoperable and enable semantic search. We show that such an index structure supports the parallel maintenance of policy documents and knowledge bases (acquisition, consistency check and update). Two detailed examples with preliminary results are provided, one from air travel and the other from the automotive industry.".
- 19 hasAuthorList authorList.
- 19 isPartOf proceedings.
- 19 keyword "Acquisition".
- 19 keyword "Business rules".
- 19 keyword "Index structure".
- 19 keyword "Maintenance".
- 19 keyword "Natural language".
- 19 keyword "Ontology".
- 19 title "Integrating written policies in Business Rule Management Systems".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasItem item-4.
- authorList hasItem item-5.
- authorList hasLastItem item-5.
- item-1 type ListItem.
- item-1 hasContent adeline-nazarenko.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent abdoulaye-guisse.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent francois-levy.
- item-3 next item-4.
- item-3 previous item-2.
- item-4 type ListItem.
- item-4 hasContent nouha-omrane.
- item-4 next item-5.
- item-4 previous item-3.
- item-5 type ListItem.
- item-5 hasContent sylvie-szulman.
- item-5 previous item-4.
- 22 creator carlos-vazquez.
- 22 creator gines-moreno.
- 22 creator jaime-penabad.
- 22 creator pedro-jose-morcillo.
- 22 type InProceedings.
- 22 label "Declarative Traces Into Fuzzy Computed Answers".
- 22 sameAs 22.
- 22 abstract "Fuzzy logic programming is a growing declarative paradigm aiming to integrate fuzzy logic into logic programming. In this setting, the so-called multi-adjoint logic programming approach, MALP in brief, represents an extremely flexible fuzzy language for which we are developing the FLOPER tool. Currently, the system is useful for compiling (to standard Prolog code), executing and debugging fuzzy programs in a safe way and it is ready for being extended in the near future with powerful transformation and optimization techniques designed in our research group in the recent past. In this paper, we focus in a nice property of the system regarding its ability for easily collecting declarative traces at execution time, without modifying the underlying procedural principle. The clever point is the use of lattices modeling truth degrees (beyond {true,false}) enriched with constructs for directly visualizing on fuzzy computed answers not only the sequence of program rules exploited when reaching solutions, but also the set of fuzzy connectives evaluated together with the sequence of primitive (arithmetic) operators they call, thus giving a detailed idea of its computational complexities.".
- 22 hasAuthorList authorList.
- 22 isPartOf proceedings.
- 22 keyword "Declarative Traces".
- 22 keyword "Fuzzy Logic Programming".
- 22 keyword "Lattices".
- 22 title "Declarative Traces Into Fuzzy Computed Answers".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasItem item-4.
- authorList hasLastItem item-4.
- item-1 type ListItem.
- item-1 hasContent pedro-jose-morcillo.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent gines-moreno.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent jaime-penabad.
- item-3 next item-4.
- item-3 previous item-2.
- item-4 type ListItem.
- item-4 hasContent carlos-vazquez.
- item-4 previous item-3.
- 26 creator darko-anicic.
- 26 creator nenad-stojanovic.
- 26 creator paul-fodor.
- 26 creator sebastian-rudolph.
- 26 type InProceedings.
- 26 label "Retractable Complex Event Processing and Stream Reasoning".
- 26 sameAs 26.
- 26 abstract "Complex Event Processing (CEP) deals with processing of continuously arriving events with the goal of identifying meaningful patterns (complex events). In existing stream database approaches, CEP is manly concerned by temporal relations between events. This paper advocates for a knowledge-rich CEP with Stream Reasoning capabilities. Secondly, we address the problem of revision in event processing. Events are often assumed to be immutable and therefore always correct. Revision in event processing deals with the circumstance that certain events may be revoked. This necessitates to reconsider complex events which might have been computed based on the original, flawy history as soon as part of that history is corrected. In this paper, we present a novel approach for knowledge-based CEP and Stream Reasoning, including revisions of events too. We present a rule-based language for pattern matching over event streams with a precise syntax and the declarative semantics. We devise an execution model for the proposed formalism, and provide a prototype implementation. Extensive experiments have been conducted to demonstrate the efficiency and effectiveness of our approach.".
- 26 hasAuthorList authorList.
- 26 isPartOf proceedings.
- 26 keyword "Complex Event Processing".
- 26 keyword "Rule-based Event Processing".
- 26 keyword "Stream Reasoning".
- 26 title "Retractable Complex Event Processing and Stream Reasoning".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasItem item-4.