Filters








20,864 Hits in 5.2 sec

Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning [chapter]

Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
2006 Lecture Notes in Computer Science  
Towards providing a suitable tool for building the Rule Layer of the Semantic Web, hex-programs have been introduced as a special kind of logic programs featuring capabilities for higher-order reasoning  ...  Their semantics is based on the notion of answer sets, providing a transparent interoperability with the Ontology Layer of the Semantic Web and full declarativity.  ...  In this way, declarative tool support for a wide range of reasoning applications on the Semantic Web at a high level of abstraction can be realized.  ... 
doi:10.1007/11762256_22 fatcat:p7aqldcddbbflfqdv65djw6agy

Reactive Policies for the Semantic Web [chapter]

Piero A. Bonatti, Philipp Kärger, Daniel Olmedilla
2010 Lecture Notes in Computer Science  
Reactive policies allow for the definition of events and actions, that is, they allow to define reactive behavior of a system acting on the Semantic Web.  ...  In this paper, we describe the concept of reactive Semantic Web policies.  ...  In this paper, we present a policy language to define declarative, exact, and detailed behaviour description of Semantic Web systems with Event-Condition-Action rules (ECA rules [32] ).  ... 
doi:10.1007/978-3-642-13486-9_6 fatcat:bgmcqz7lfffq5bsw7g2xa6lexu

Knowledge representation concepts for automated SLA management

Adrian Paschke, Martin Bichler
2008 Decision Support Systems  
We suggest logical formalisms for the representation and enforcement of SLA rules and describe a proof-of-concept implementation.  ...  They need to manage, execute and maintain thousands of SLAs for different customers and different types of services, which needs new levels of flexibility and automation not available with the current  ...  Interoperation with (webized) descriptive domain specifications: An SLA language for contracts in open distributed domains such as the Semantic Web should be able to refer to external (Semantic Web) ontologies  ... 
doi:10.1016/j.dss.2008.06.008 fatcat:nac3iyeilnezfkxf4vhr72qdju

A Homogeneous Reaction Rule Language for Complex Event Processing [article]

Adrian Paschke, Alexander Kozlenkov, Harold Boley
2010 arXiv   pre-print
The developed reaction rule language provides expressive features such as modular ID-based updates with support for external imports and self-updates of the intensional and extensional knowledge bases,  ...  This paper elaborates a homogeneous integration approach that combines derivation rules, reaction rules and other rule types such as integrity constraints into the general framework of logic programming  ...  Declarative Semantics of Global ECA Rules The declarative semantics of ECA rules is directly inherited from the semantics of the underlying rule/inference system.  ... 
arXiv:1008.0823v1 fatcat:4i66ebqkdja5zmbjkapwlnr3di

ECA-RuleML: An Approach combining ECA Rules with temporal interval-based KR Event/Action Logics and Transactional Update Logics [article]

Adrian Paschke
2006 arXiv   pre-print
We propose formalism based on reaction rules (ECA rules) and a novel interval-based event logic and present concrete RuleML-based syntax, semantics and implementation.  ...  extending the approach of active databases that view events as instantaneous occurrences and/or sequences of events, on the other.  ...  It is a pattern-based language closely related to the web query language Xcerpt with an operational semantics for ECA rules of the form: "Event query Web query Action".  ... 
arXiv:cs/0610167v2 fatcat:4gaoujuibfcwnompxkjlbqaj44

LegalRuleML: From Metamodel to Use Cases [chapter]

Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Wyner
2013 Lecture Notes in Computer Science  
To integrate technologies such as NLP and Information Extraction (IE) with Semantic Web technologies such as graph representation and web-based ontologies and rules. 3.  ...  This enables use of a legal reasoning level on top of the ontological layer in the W3C Semantic Web stack. This approach  ...  This permits us to serialize LegalRuleML XML into RDF assertions for Semantic Web interoperability and Linked Open Data integration. The tutorial presents this aspect of the design.  ... 
doi:10.1007/978-3-642-39617-5_4 fatcat:wtba3su6i5b5ll57yvk5pgytry

Reducing the Overconfidence of Base Classifiers when Combining Their Decisions [chapter]

Šarunas Raudys, Ray Somorjai, Richard Baumgartner
2003 Lecture Notes in Computer Science  
Reaction RuleML is a standardized rule markup/serialization language and semantic interchange format for reaction rules and rulebased event processing.  ...  RuleML is a family of XML languages whose modular system of schemas permits high-precision (Web) rule interchange. The family's top-level distinction is deliberation rules vs. reaction rules.  ...  the development of intelligent rule-based application for the Semantic Web.  ... 
doi:10.1007/3-540-44938-8_7 fatcat:o3r75dn56jboxfugfzt7kwaz34

A Computational Logic Application Framework for Service Discovery and Contracting

Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2011 International Journal of Web Services Research  
In Semantic Web technologies, searching for a service means identifying components that can potentially satisfy user needs in terms of inputs and outputs (discovery) and devise a fruitful interaction with  ...  They define, illustrate, and evaluate a framework, called SCIFF Reasoning Engine (SRE), which can establish if a Semantic Web Service and a requester can fruitfully inter-operate, by computing a possible  ...  Like SRE, MARS follows a declarative style of modeling; however, the MARS language is introduced as a general language aimed at specifying rules for the semantic web, and it is not equipped with specific  ... 
doi:10.4018/jwsr.2011070101 fatcat:w6txv2hxcnhlpgfnjix6kawyqi

Supporting Open and Closed World Reasoning on the Web [chapter]

Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou, Gerd Wagner
2006 Lecture Notes in Computer Science  
These program transformations are shown to be appropriate for the two major semantics for extended logic programs: answer set semantics and well-founded semantics with explicit negation.  ...  In this paper general mechanisms and syntactic restrictions are explored in order to specify and merge rule bases in the Semantic Web.  ...  Section 3 defines new language mechanisms for sharing and integrating knowledge in the Semantics Web. In Section 4, the transformational semantics is provided for the constructs presented.  ... 
doi:10.1007/11853107_11 fatcat:vifqqdai6bawjmyqrbgxllj22i

ReasoNet: Inferring Network Policies Using Ontologies

Charalampos Rotsos, Arsham Farshad, Daniel King, David Hutchison, Qianru Zhou, Alasdair J. G. Gray, Cheng-Xiang Wang, Stephen McLaughlin
2018 2018 4th IEEE Conference on Network Softwarization and Workshops (NetSoft)  
Developers can use semantic web technologies to enrich their data models with reasoning rules and integrity/consistency constraints, and automate state inference across layers.  ...  Modern SDN control stacks consist of multiple abstraction and virtualization layers to enable flexibility in the development of new control features.  ...  We would also like to specially thank Dr Vatsala Nundloll for sharing her pearls of wisdom with us during the development of the ontology.  ... 
doi:10.1109/netsoft.2018.8460050 dblp:conf/netsoft/RotsosFKHZGWM18 fatcat:pls4urpm3jb6vaihfvlv5fglni

An introduction to knowledge computing

Vagan Terziyan, Oleksandr Shevchenko, Mariia Golovianko
2014 Eastern-European Journal of Enterprise Technologies  
We offer an extension to a traditional RDF model of describing knowledge graphs according to the Semantic Web standards so that it will also allow to a knowledge entity to autonomously perform or query  ...  This paper deals with the challenges related to self-management and evolution of massive knowledge collections.  ...  e.g., Semantic Web applications.The Semantic Web Rule Language (SWRL) [41] extends the OWL, providing logic-based rules, which together with stored facts are executed as inputs by the rule engine, which  ... 
doi:10.15587/1729-4061.2014.21830 fatcat:qjgw6dgdjnh2hd2la53ltn7giy

Conceptual Graphs for Semantic Web Applications [chapter]

Rose Dieng-Kuntz, Olivier Corby
2005 Lecture Notes in Computer Science  
In this paper, we aim at showing the advantages of Conceptual Graph formalism for the Semantic Web through several real-world applications in the framework of Corporate Semantic Webs.  ...  We describe the RDF(S)-dedicated semantic search engine, CORESE, based on a correspondence between RDF(S) and Conceptual Graphs, and we illustrate the interest of Conceptual Graphs through the analysis  ...  It proves a real usefulness of CG reasoning for corporate semantic webs.  ... 
doi:10.1007/11524564_2 fatcat:pzdonqct5vekzmj5wzlri7deaq

A Computational Logic Application Framework for Service Discovery and Contracting

Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2011 International Journal of Web Services Research  
In Semantic Web technologies, searching for a service means identifying components that can potentially satisfy user needs in terms of inputs and outputs (discovery) and devise a fruitful interaction with  ...  They define, illustrate, and evaluate a framework, called SCIFF Reasoning Engine (SRE), which can establish if a Semantic Web Service and a requester can fruitfully inter-operate, by computing a possible  ...  In this new language, behavioural interfaces are defined by Integrity Constraints (ICs): a sort of reactive rules used to generate and reason about expectations on possible evolutions of a given interaction  ... 
doi:10.4018/ijwsr.2011070101 fatcat:y6cau2cyirg47giz4kfimx5jbe

Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies

Dietmar Seipel, Falco Nogatz, Salvador Abreu
2018 Computer languages, systems & structures  
Based on the declarative rules and the integration with the Prolog -based deductive database system DDbase , multiple rules acquired in practical case studies can be combined, compared, graphically analysed  ...  Our Dsl for rules can be further improved by integrating ontologies and rule annotations.  ...  It is well agreed that the combination of ontologies with rule-based knowledge is essential for many interesting semantic web tasks, e.g., the realisation of semantic web agents and services.  ... 
doi:10.1016/j.cl.2017.06.006 fatcat:htmoymfmfjex3jpwzolfdraira

An Ontology-Based Decision Support Framework For Personalized Quality Of Life Recommendations

Marina Riga, Efstratios Kontopoulos, Kostas Karatzas, Stefanos Vrochidis, Ioannis Kompatsiaris
2018 Zenodo  
We also implement a novel ontology- and rule-based reasoning mechanism for generating personalized recommendations, capable of treating differently individuals with diverse levels of vulnerability under  ...  In this work, we capitalize on the semantic expressiveness of ontologies to build a framework that uniformly covers all phases of the decision making process: from structuring and integration of data,  ...  Ontologies are state-of-the-art Semantic Web technologies for structuring and semantically integrating heterogeneous content.  ... 
doi:10.5281/zenodo.1196023 fatcat:jsrmj7umajht5klf2oloepkupy
« Previous Showing results 1 — 15 out of 20,864 results