A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2008
Decision Support Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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]
2010
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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]
2006
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
International Journal of Web Services Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2018
2018 4th IEEE Conference on Network Softwarization and Workshops (NetSoft)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2014
Eastern-European Journal of Enterprise Technologies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
2011
International Journal of Web Services Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2018
Computer languages, systems & structures
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2018
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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