web-logic
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