Description logic programs: Combining logic programs with description logic

BN Grosof, I Horrocks, R Volz, S Decker - Proceedings of the 12th …, 2003 - dl.acm.org
We show how to interoperate, semantically and inferentially, between the leading Semantic
Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+ OIL …

From legal contracts to formal specifications: A systematic literature review

M Soavi, N Zeni, J Mylopoulos, L Mich - SN Computer Science, 2022 - Springer
The opportunity to automate and monitor the execution of legal contracts is gaining
increasing interest in Business and Academia, thanks to the advent of smart contracts …

REPRESENTING BUSINESS CONTRACTS IN RuleML

G Governatori - International Journal of Cooperative Information …, 2005 - World Scientific
This paper presents an approach for the specification and implementation of translating
contracts from a human-oriented form into an executable representation for monitoring. This …

KAoS policy management for semantic web services

A Uszok, JM Bradshaw, M Johnson… - IEEE Intelligent …, 2004 - ieeexplore.ieee.org
Web Services power through explicit representations of Web resources underlying
semantics and the development of an intelligent Web infrastructure that can fully exploit …

Preference-based selection of highly configurable web services

S Lamparter, A Ankolekar, R Studer… - Proceedings of the 16th …, 2007 - dl.acm.org
A key challenge for dynamic Web service selection is that Web services are typically highly
configurable and service requesters often have dynamic preferences on service …

No registration needed: How to use declarative policies and negotiation to access sensitive resources on the semantic web

R Gavriloaie, W Nejdl, D Olmedilla… - European Semantic …, 2004 - Springer
Gaining access to sensitive resources on the Web usually involves an explicit registration
step, where the client has to provide a predetermined set of information to the server. The …

Managing expressions in a database system

A Yalamanchi, D Gawlick, J Srinivasan - US Patent 7,127,467, 2006 - Google Patents
(51) Int. Cl. A method for managing expressions includes receiving a G6F 7/3(2006.01) first
query that includes a first conditional expression. The (52) US Cl T07/102 first expression is …

Rules framework for definition and execution of end-user rules logic

P Seshadri, H Knight, RH Gerber, SE Dossick… - US Patent …, 2009 - Google Patents
(57) ABSTRACT A rules-based software architecture that provides the infra structure for the
definition and execution of end-user rules logic. This enables end-user automation of data in …

Peertrust: Automated trust negotiation for peers on the semantic web

W Nejdl, D Olmedilla, M Winslett - … SDM 2004, Toronto, Canada, August 30 …, 2004 - Springer
Researchers have recently begun to develop and investigate policy languages to describe
trust and security requirements on the Semantic Web. Such policies will be one component …

[图书][B] The practical handbook of internet computing

MP Singh - 2004 - taylorfrancis.com
The Practical Handbook of Internet Computing analyzes a broad array of technologies and
concerns related to the Internet, including corporate intranets. Fresh and insightful articles by …