web-server-request-3






Ten theses on logic languages for the Semantic Web
free download

Abstract This articles discusses the logic, or logic-based, languages required for a full deployment of the Semantic Web. It presents ten theses addressing 1 the kinds of logic languages needed, 2 data and data processing, 3 semantics, and 4 engineering and

On the Problem of Using Logic Object-Oriented Programming in the World Wide Web
free download

Possibilities and challenges of using logic programming for representation, search and analysis of information in the Internet are considered. The mathematical problem of providing strict declarative semantics of logic programs executing in conditions of

Toward automated detection of logic vulnerabilities in web applications
free download

Abstract Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, there has also been an increase in the number and complexity of

A description logic based approach to reasoning about web services
free download

Abstract Motivated by the need for semantically well-founded and algorithmically managable formalisms for describing the functionality of Web services, we introduce an action formalism that is based on description logics (DLs), but is also firmly grounded on

There are numerous semantic web applications where dealing with vagueness and imprecision plays an important role. Some examples of such applications are (i) multimedia information processing and retrieval,(ii) natural language interfaces to the Web, and (iii)

Description Logic Systems with Concrete Domains: Applications for the Semantic Web.
free download

Abstract The Semantic Web initiative defines important challenges for knowledge representation and database systems. Recently, several standards for representation languages have been proposed (RDF, DAML+ OIL, OWL). We briefly discuss the logical

Using nlp techniques to create legal ontologies in a logic programming based webinformation retrieval system
free download

Abstract Web legal information retrieval systems need the capability to reason with the knowledge modelled by legal ontologies. Using this knowledge it is possible to represent and to make inferences about the semantic content of legal documents.

Applying Prolog to Semantic Web Ontologies Rules: Moving Toward Description LogicPrograms
free download

We are developing SWORIER (Semantic Web Ontologies and Rules for Interoperability with Efficient Reasoning), which is a system that uses Logic Programming to reason about ontologies and rules in order to answer queries. The system expects a human developer

Probabilistic reasoning in the semantic web using markov logic
free download

Networks Develop a system that provides a Semantic Web interface to Markov Logic reasoning and learning capabilities 4 | 20 5 | 20 Pedro Carvalho de Oliveira| MSc Thesis Proposal Page 6. Markov Logic + Semantic Web Markov Logic = Formulas+Weights Formulas

A fuzzy EL description logic with crisp roles and fuzzy aggregation for web consulting
free download

Abstract In semantic web a query can contain several vague concepts of user’s gradual preferences. This particular preferences need to be combined to get an overall ordering of results. We propose a fuzzy description logic with existential restrictions, crisp roles, fuzzy

Logic Based Approach to web services discovery and matchmaking
free download

Abstract We present a logic based approach to web services discovery and matchmaking in an e-commerce scenario. In particular, we describe our framework, based on Description Logics formalization and reasoning, and its deployment in a prototype,

The method of inferring trust in web-based social network using fuzzy logic
free download

ABSTRACT This paper proposes the approach for inferring trust between users in the web- based social network using fuzzy logic. User would construct social network making direct connection and indirect connection through the several users. If user make connection

Web intelligence and fuzzy logic–the concept of Web IQ (WIQ)
free download

In moving further into the age of machine intelligence and automated reasoning, we have reached a point where we can speak, without exaggeration, of systems which have a high machine IQ (MIQ). The Web and especially search engines–with Google at the top fall

Web service composition in a temporal action logic
free download

Abstract. The paper presents an approach to reasoning about web service composition using a temporal action theory. Web services are described by specifying their interaction protocols in an action theory based on a dynamic linear time temporal logic. The proposed

Intelligent agents that reason about web services: a logic programming approach
free download

Abstract. The paper proposes to factor three leading edge technologies, namely Web Services, Intelligent Agents, and Computational Logic, for implementing logic-based agents that reason about interaction protocols specified using standard languages for Web

A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services.
free download

A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services* Michael Grninger University of Toronto Toronto, ON, CanadaAbstract FLOWS is a first-order logic ontology for Web services and a W3C Submission.

Semantic web model and reasoning based on F-logic
free download

Abstract In order to model context in pervasive computing environments, and support logic- based context reasoning, a core ontology modeling framework for OWL-S (Ontology Web Language for Services) and a reasoning mechanism using F-logic are proposed in this

Learning and maintaining ontologies play critically important roles in the Semantic Web. Ontologies provide formal and explicit semantics to available knowledge and make possible shared understanding of a domain. A great deal of knowledge in the Semantic Web

Subjective Logic Extensions for the Semantic Web.
free download

ABSTRACT. Subjective logic is a powerful probabilistic logic which is useful to handle data in case of uncertainty. Subjective logic and the Semantic Web can mutually benefit from each other, since subjective logic is useful to handle the inner noisiness of the Semantic Web

Merging Logic Programming into Web-based technology: a Coordination-based approach
free download

E Denti, A Natali, A Omicini 2nd International Workshop on Logic 1997 lia.deis.unibo.it ABSTRACT. Current WWW technology is becoming the de-facto standard platform for groupware applications, yet it provides virtually no effective coordination capabilities. New applications, instead, demand higher-level middleware services, with intelligent

LogicWeb: Enhancing the web with logic programming
free download

ABSTRACT LogicWeb is a client-side logic programming tool for the World Wide Web, which allows the Web to be viewed in a more ABSTRACT way: Web pages can be rephrased as logic programming modules, and hypertext links as relationships between the modules.

Model of usability evaluation of web portals based on the fuzzy logic
free download

M Hub, M Zatloukal WSEAS Transactions on Information Science 2010 researchgate.net ABSTRACT This paper presents a model of usability evaluation based on fuzzy logic which results from a need to establish a common approach to deal with the usability evaluation of various kinds of systems. The model definition arises from the methodology of fuzzy

Implementing modal extensions of defeasible logic for the semantic web
free download

Defeasible reasoning is a nonmonotonic reasoning approach in which the gaps due to incomplete information are closed through the use of defeasible rules. Defeasible logic (Nute 1994) and its variants are an important family of defeasible reasoning methods. It is

Query Answering for Multiple Complex Resources: Description Logic in the Semantic WebContext
free download

P Pothipruk 2007 defeasible.org ABSTRACT The Semantic Web is a collection of many different data pages. It is still unclear how to answer a query posed on the Semantic Web using formal methods. Currently, the main approach to the above problem is addressed by description logics. However, description

Marketing a web-site using a fuzzy logic approach
free download

IC Enache Proceedings of the International Conference on Risk 2010 wseas.us ABSTRACT This paper is aiming to use the fuzzy logic approach in analyzing a web-site marketing decisions. In the last years fuzzy mathematics and fuzzy logic changed the perspectives in many business related areas such as management, market research or

Framework of semantic web service discovery based on fuzzy logic and multi-phase matching
free download

Z Su, H Chen, L Zhu, Y Zeng Journal of Information and Computational 2012 joics.com ABSTRACT Web service discovery has become increasingly more important as the prevailing use of web service. According to the inadequateness of current discovery methods to deal with the vague information of web service, a framework of semantic web service discovery

DAML+ OIL: a description logic for the semantic web
free download

I Horrock Bulletin of the IEEE Computer Society Technical 2001 cs.man.ac.uk ABSTRACT Ontologies are set to play a key role in the Semantic Web extending syntactic interoperability to semantic interoperability by providing a source of shared and precisely defined terms. DAML+ OIL is an ontology language specifically designed for use on the

A Logic-Based Mobile Agent Framework for Web Applications.
free download

ABSTRACT A new logic-based mobile agent framework named Maglog is proposed in this paper. In Maglog, a concept called field is introduced. By using this concept, the following functions are realized: 1) the agent migration which is the function that enables agents to

FALCI: A fully contextualized, federated logic for the semantic web
free download

ABSTRACT. In this paper, a new version F-ALCI of the package-based counterpart ALCIP- of the description logic ALCI is introduced. It allows contextualization of all the logical connectives rather than just logical negation. Moreover, a new semantics is introduced

Representing Logic and Rationale in Semantic Web Technologies
free download

D Mott, W Harwood The Fourth Annual Conference of the 2010 usukitacs.com ABSTRACT The Collaborative Planning Model, and other semantic ontologies, require a means of representing logical relations that define the constraints and axioms of the domain being modeled. The OWL language permits only a limited degree of logical expressivity,

Moving Code–Sharing Geospatial Computation Logic on the Web
free download

ABSTRACT Software reuse is a common paradigm for building software systems and has been proven to facilitate maintenance and increase productivity. Valuable algorithms are produced in many scientific projects, open source initiatives or commercial software

Logic and a Little Language for Heritage Resource on the Semantic Web
free download

Summary The work presented here is part of the interdisciplinary project Rescuing Memory: Image Preservation, Information Systems, Access and Research, which investigates the dissemination, study and management of heritage resources, and attempts to provide

Term Weighting: Novel Fuzzy Logic based Method Vs. Classical TF-IDF Method for WebInformation Extraction.
free download

ABSTRACT Solving Term Weighting problem is one of the most important tasks for Information Retrieval and Information Extraction. Tipically, the TF-IDF method have been widely used for determining the weight of a term. In this paper, we propose a novel alternative fuzzy logic

Agent-based Information Discovery in the World Wide Web Using a Neural Network Approach and Fuzzy Logic
free download

F Teuteberg Alonso, E.; Colton, S.; Schroeder, M researchgate.net ABSTRACT This paper presents a multi-agent system for information discovery in the World Wide Web. A neural network approach is proposed to automate the process of agent-based searching and selecting WWW applications. Results from training and testing those

Fuzz-Web: A Methodology Based on Fuzzy Logic for Assessing Web Sites
free download

ABSTRACT This paper presents a quality assessment methodology and model that measure the performance of dynamic websites. Called Fuzz-Web, a system that shows a comprehensive and natural manner of reasoning based on Multiple Criteria Decision

Toward black-box detection of logic flaws in web applications
free download

ABSTRACT Web applications play a very important role in many critical areas, including online banking, health care, and personal communication. This, combined with the limited security training of many web developers, makes web applications one of the most

Program Verification with Monadic Second-Order Logic Languages for Web Service Development
free download

ABSTRACT Domain-specific formal languages are an essential part of computer science, combining theory and practice. Such languages are characterized by being tailor-made for specific application domains and thereby providing expressiveness on high ABSTRACTion

SC description logic modeling querying web and learning imperfect user preferences
free download

ABSTRACT. In this position paper we share ideas on modeling querying web resources by (imperfect) combination of particular user preferences based on description logic. Our basic assumption is, that web resources are modeled crisp. Imperfection (uncertainty,

Fuzzy logic control for Web service selection
free download

ABSTRACT This study proposes a fast service selection approach by using fuzzy logic control. The approach adopts fuzzy logic control to support fast and dynamic service selection and mixed integer programming to assist users in obtaining most suitable services.

Composition of semantic web services in a constructive description logic
free download

Semantic Web services are descriptions of the capabilities and the structure of services in the languages of the semantic Web. The current proposals for the representation of semantic Web services, as OWL-S [5], view services as processes with pre- and post- conditions and

A Novel Term Weighting Scheme for a Fuzzy Logic Based Intelligent Web Agent.
free download

ABSTRACT Term Weighting (TW) is one of the most important tasks for Information Retrieval (IR). To solve the TW problem, many authors have considered Vector Space Model, and specifically, they have used the TF-IDF method. As this method does not take into account

A modified Logic Scoring Preference method for dynamic Web services evaluation and selection
free download

ABSTRACT. The Logic Scoring Preference (LSP) method extends existing scoring techniques and provides a means for the development of complex criterion functions using continuous preference logic. It has been successfully used to evaluate hardware system, software

Logic as a power tool to model negotiation mechanisms in the Semantic Web Era
free download

The approach to multi-attribute negotiation we are investigating on exploits logic languages at least in two ways:(1) to model, through an ontology, relations between attributes to be negotiated and (2) to characterize buyer and seller preferences. Some of the advantages

Sequence-Controlled Web Services for Programmable Logic Controllers
free download

C Stoidner, M Mathes Proceedings of the 13th 2009 dsi.fceia.unr.edu.ar ABSTRACT The use of service-oriented architectures based on web services in the manufacturing layer of industrial enterprises enables vertical integration and promises increased interoperability. Unfortunately, the differing execution patterns cyclic execution

Web-scale knowledge inference using markov logic networks
free download

ABSTRACT In this paper, we present our on-going work on ProbKB, a PROBabilistic Knowledge Base constructed from web-scale extracted entities, facts, and rules represented as a Markov logic network (MLN). We aim at web-scale MLN inference by designing a novel

CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services.
free download

ABSTRACT The CDAOStore is a portal aimed at facilitating the storage and retrieval of data and metadata associated to studies in the field of evolutionary biology and phylogenetic analysis. The novelty of CDAOS-tore lies in the use of a semantic-based approach to the

Description Logic Rule Based Semantic Web Service Composition Method
free download

ABSTRACT One kind of semantic web service composition method based on description logic (DL) rule is introduced in this paper. We use DL rule to figure out the hyponymy relationship between concepts in domain ontology and model web service functional semantic of

Color logic for web site design
free download

Graceful logic evolution in web data processing workflows
free download

ABSTRACT Data processing workflows evolve over time. For example, operators of web information extraction workflows change them continually by retraining classifiers, adjusting confidence thresholds, extracting additional structured data fields, and incorporating new

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