web logic technologies






Typed Hybrid Description Logic Programs with Order-Sorted Semantic Web Type Systems based on OWL and RDFS
free download

ABSTRACT. In the recent years rule-based programming in terms of declarative logic programming has formed the basis for many Artificial Intelligence (AI) applications and is well integrated in the mainstream information technology capturing higher-level decision

The CIFF proof procedure for abductive logic programming with constraints: definition, implementation and a web application
free download

ABSTRACT Abduction has found broad application as a powerful tool for hypothetical reasoning with incomplete knowledge, which can be handled by labeling some pieces of information as abducibles, ie as possible hypotheses that can be assumed to hold, provided that they

Logic databases on the Semantic Web: Challenges and opportunities
free download

The Semantic Web is not a separate Web but an extension of the current one, in which information is given well-defined meaning, better enabling computers and people to work in cooperation. The first steps in weaving the Semantic Web into the structure of the existing

Logic Models for Evaluating Web-based Data Query Systems
free download

Common in public health and related fields, logic models describe the sequence of events needed to accomplish a goal by synthesizing the main elements of an intervention into a picture of how the intervention supposedly works. Logic models help guide evaluations by

Specifying a Web Service Ontology in First-Order Logic
free download

Describe process flow, but do not describe all the attributes of the process (eg, that input-1 of process P is a book ISBN number and that book ISBN numbers have value restrictions and a 1-1 correspondence with a book, etc.)–thus can’t reason about the entities being

Logic for Higher-Order Workflow of Composite Web Services.
free download

ABSTRACT. We present logic that enables us to describe higher-order workflow precisely and to reason about the reachability of goals on workflow models. This is a suitable basis for business process analysis as well as for dynamic composition of services. Our approach

First Order Logic for Learning User Models in the Semantic Web: Why Do We Need It
free download

ABSTRACT. In this paper we claim that learning in a first order logic framework is crucial for the future of user modeling applications in the context of the Semantic Web (SW in the remaining of the paper). We first present some works that have currently been done for

Logic-based Mobile Agent Framework Using Web Technologies.
free download

ABSTRACT We have proposed Maglog which is a framework for mobile multi-agent systems. Maglog is based on Prolog, and has the concept of field. A field is an object which can contain a knowledge base. With the concept of field, Maglog provides a simple and unified

A web-based example-tracing tutor for formalising sentences in first order logic
free download

In this paper we present a web-based Example-tracing Tutor for learning how to formalise sentences in first order logic (FOL) which is a basic knowledge representation language. The tutor has been developed using the Cognitive Tutoring Authoring Tool (CTAT) and

A Deontic Logic for Group-Oriented Web Information Systems.
free download

ABSTRACT Group-oriented web information systems (GWISs) are web-based dataintensive systems that are used by a group of people in order to fulfill common tasks. In particular, there are different roles for the users, each associated with some rights and obligations.

CLDT: A Combinational Logic Design Interactive Web-based Tool
free download

ABSTRACT A lack of resources exists outside of the classroom to aid electrical and computer engineering students in the understanding of the basic fundamentals of digital design topics. The Combinational Logic Design Tool (CLDT) provides students with the

INCOM: A Web-based Homework Coaching System For Logic Programming
free download

ABSTRACT Programming is a complex process which usually results in a large space of solutions. However, existing software systems which support students in solving programming problems often restrict students to fill in pre-specified solution templates or

Data Loss Prevention for Confidential Web Contents and Security Evaluation with BAN Logic
free download

Protection Law of Japan, protection of confidential information is one of the significant issues in enterprises and organizations. However, many incidents of confidential information leakage occur and this becomes a serious issue in the industrial society. There is no

A systematic approach to uncover gui logic flaws for web security
free download

ABSTRACT To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws are a category of software vulnerabilities that result from logic bugs in GUI design/

Approximate Matching of Web Services with Description Logic Reasoning
free download

CM Lung 2005 newweb.management.ntu.edu.tw ABSTRACT Heterogeneous Internet applications can be easily integrated when they are exported as Web Services, which use XML-based standards for service description and communication. It becomes possible to provide more sophisticated compound services by

A purely logic-based approach to approximate matching of Semantic Web Services
free download

ABSTRACT. Most current approaches to matchmaking of semantic Web services utilize hybrid strategies consisting of logic-and non-logic-based similarity measures (or even no logic- based similarity at all). This is mainly due to pure logic-based matchers achieving a good Despite the popularity of the World Wide Web as a development platform, a proper description of its architectural principles and design criteria has been established only in the last decade, by the introduction of the REpresentational State Transfer (REST)

Verso un framework e un linguaggio logico per la programmazione Web Towards a LogicLanguage and Framework for Web Programming
free download

Despite the popularity of the World Wide Web as a development platform, a proper description of its architectural principles and design criteria has been achieved only recently, by the introduction of the Representational State Transfer (REST) architectural style which

Fuzzy Logic-Supported Detection of Complex Geospatial Features in a Web Service Environment
free download

ABSTRACT Spatial relations among simple features can be used to characterize complex geospatial features. These spatial relations are often represented using linguistic terms such as near, which have inherent vagueness and imprecision. Fuzzy logic can be used to

A Semantic Web Framework for Teaching Logic Circuits
free download

ABSTRACT Ontology-based systems have been used to facilitate teaching and learning. Ontologies have proven to be a very useful artifacts to represent a domain and as an important component in specific applications for giving semantics. In logic circuits domain, Users preferences heterogeneity in distributed systems often forces resources suppliers to offer customizable-resources in order to fulfill different customer needs. In this paper we present the formalization and implementation of a Feature Logic based approach that

Semantic Web Verification: Verifying Reasoning in the Logic ALC
free download

ABSTRACT In the Semantic Web, knowledge is usually structured in the form of ontologies, using the Web Ontology Language (OWL), which is based in part on the Description Logics (DLs). DLs are a family of logical formalisms for representing and reasoning about

Knowledge Management, Semantic Web and Logic of Significances to Create Technologic Skills for Support e-Learning Methodologies
free download

PC Velzquez ijiet.org ABSTRACT E-learning prove useful in the interaction between student and teacher regardless of geographical distance, bringing the scope of education to a new dimension and improving the development of nations. However, in developing countries teachers

CONCEPTUAL MODELING FOR WEB APPLICATIONS AND DEFINITIONS OF BUSINESS LOGIC FOR END-USER-INITIATIVE DEVELOPMENT
free download

T Chusho, J Li 133.26.135.225 ABSTRACT The development of Web applications should be supported by business professionals themselves since Web applications must be modified frequently based on their needs. In our recent studies with the three-tier architecture of the user interface,

Web Usage Mining with Inductive Logic Programming
free download

ABSTRACT This paper suggests an experimental approach of how to apply inductive logic programming in the discovery of web usage patterns in the form of first-order rules representing user sessions. Such rules may be used to improve the quality and the

Fuzzy Logic Control System to the Mobile Robot Motion through WEB
free download

SG TOURINO, AJ LVARES CEP graco.unb.br ABSTRACT This work describes the implementation of a controller based on Fuzzy logic for the speed control of the Nomad XR4000 mobile robot. The system has as inputs data from the sonar sensors of the robot and the’to go’distance, and has as output the robot’s speed,

A Logic-Based RDF to HTML Generator for Spinning the Semantic Web
free download

ABSTRACT. The Resource Description Framework RDF is used to describe content, such as HTML pages and other documents, for the machines to interpret on the Semantic Web. In contrast, we consider the problem of rendering RDF content for the human user by

A WEB-BASED PROGRAMMABLE LOGIC CONTROLLERS LABORATORY
free download

ABSTRACT. This study presents design and development of a Web-based programmable logic controller (PLC) system architecture that supports hands-on laboratory exercises in automated manufacturing systems control area for eLearning and distance education. The

Permissions Logic with Free Scalability for Web Applications
free download

R De Haven wiki.csc.calpoly.edu ABSTRACT A constant concern in the development of web applications is the leaking of data, whereby a user through an improperly sanitized form or passed through a cross-site scripting attack attempts to access data they should not otherwise have permissions to

Web Services Matchmaking Based on OWL Ontologies and Description Logic Inferences
free download

In this thesis, we propose an ontology-based scheme for service matching and composition. The scheme consists of a service registry and a matching procedure and is parameterized by domain ontologies and rules. We assume that all services have their capabilities

Static and dynamic scheduling algorithms for scalable web server farm
free download

ABSTRACT Multiprocessor-based servers are often used for building popular Web sites which have to guarantee an acceptable Quality of Web Service. In common multi-node systems, namely Web server farms, a Web switch (say, Dispatcher) routes client requests among 

A hierarchical approach to parallel multiquery scheduling
free download

 Note that TSPLIT Page 6. WOLF er al.: A HIERARCHICAL APPROACH TO PARALLEL MULTIQUERY SCHEDULING 583 generates by its dynamic programming nature the entire set of task execution time functions with just one subroutine call per query


FREE IEEE PAPER AND PROJECTS