Effective integration of declarative rules with external evaluations for semantic-web reasoning
T Eiter, G Ianni, R Schindlauer... - The Semantic Web: Research ..., 2006 - Springer
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, interfacing with external sources of computation, and default ...
Cited by 88 - Related articles - BL Direct - All 5 versions - Import into BibTeX
[PDF] Reasoning and ontologies for personalized e-learning in the semantic web
[PDF] from ebiblioteka.ltN Henze, P Dolog... - Educational Technology & Society, 2004 - ebiblioteka.lt
Henze, N., Dolog, P., & Nejdl, W.(2004) Reasoning and Ontologies for Personalized E-Learning
in the Semantic Web. ... Reasoning and Ontologies for Personalized E-Learning in the Semantic
Web Nicola Henze ISI-Knowledge-Based Systems, University of Hannover, Appelstr. ...
Cited by 149 - Related articles - View as HTML - All 25 versions - Import into BibTeX
DAMLJessKB: A tool for reasoning with the semantic web
[PS] from drexel.eduJ Kopena... - The Semantic Web-ISWC 2003, 2003 - Springer
Page 1. DAMLJessKB: A Tool for Reasoning with the Semantic Web Joseph B.
Kopena and William C. Regli * Geometric and Intelligent Computing Laboratory
Department of Computer Science College of Engineering, Drexel ...
Cited by 116 - Related articles - BL Direct - All 15 versions - Import into BibTeX
Approximating description logic classification for semantic web reasoning
[PDF] from ru.nlP Groot, H Stuckenschmidt... - The Semantic Web: Research ..., 2005 - Springer
In many application scenarios, the use of the Web ontology language OWL is hampered by
the complexity of the underlying logic that makes reasoning in OWL intractable in the worst
case. In this paper, we address the question whether approximation techniques known ...
Cited by 30 - Related articles - All 21 versions - Import into BibTeX
[PDF] Integrating semantic web reasoning and answer set programming
[PDF] from psu.eduS Heymans... - Proc. of the 2nd Int. Workshop on Answer Set ..., 2003 - Citeseer
Abstract. We integrate an expressive class of description logics (DLs) and answer set
programming by extending the latter to support inverted predicates and infinite domains,
features that are present in most DLs. The extended language, conceptual logic ...
Cited by 25 - Related articles - View as HTML - All 12 versions - Import into BibTeX
DR-Prolog: A system for defeasible reasoning with rules and ontologies on the semantic web
[PDF] from 168.188.128.62G Antoniou... - Knowledge and Data Engineering, ..., 2007 - ieeexplore.ieee.org
... OWL ontologies. Index Terms-Rules, Semantic Web reasoning, nonmonotonic
reasoning. E 1 INTRODUCTION THE development of the Semantic Web [11] proceeds
in layers, each layer being on top of other layers. At present ...
Cited by 66 - Related articles - BL Direct - All 22 versions - Import into BibTeX
The MathServe system for semantic web reasoning services
[PDF] from uni-bremen.deJ Zimmer... - Automated Reasoning, 2006 - Springer
In recent years, formal verification of hardware and software components has increasingly
attracted interest from both academia and industry. The widespread use of automated
reasoning techniques requires tools that are easy to use and support standardised ...
Cited by 17 - Related articles - BL Direct - All 9 versions - Import into BibTeX
Semantic web reasoning with conceptual logic programs
[PDF] from vub.ac.beS Heymans, D Van Nieuwenborgh... - Rules and Rule Markup ..., 2004 - Springer
We extend Answer Set Programming with, possibly infinite, open domains. Since this leads,
in general, to undecidable reasoning, we restrict the syntax of programs, while carefully
guarding useful knowledge representation mechanisms such as negation as failure and ...
Cited by 21 - Related articles - BL Direct - All 22 versions - Import into BibTeX
Towards practical reasoning agents for the semantic web
[PDF] from hp.comI Dickinson... - ... of the second international joint conference ..., 2003 - dl.acm.org
... PRS. JAM is therefore BDI-based. It does not, however, address Semantic Web
reasoning, nor does it integrate with agent middleware platforms (JAM's design pre-
dates both FIPA and the emergence of the Semantic Web). We ...
Cited by 46 - Related articles - All 16 versions - Import into BibTeX
A revised architecture for Semantic Web reasoning
[PDF] from bell-labs.comP Patel-Schneider - Principles and Practice of Semantic Web Reasoning, 2005 - Springer
The current architecture for the Semantic Web, with its emphasis on RDF syntactic and
semantic compatability, has severe problems when expressive Semantic Web languages
are incorporated. An architecture less tied to RDF is proposed. In this architecture different ...
Cited by 14 - Related articles - BL Direct - All 17 versions - Import into BibTeX
dlvhex: A prover for semantic-web reasoning under the answer-set semantics
[PDF] from rewerse.euT Eiter, G Ianni, R Schindlauer... - Web Intelligence, 2006. ..., 2006 - ieeexplore.ieee.org
Abstract We present the system dlvhex, a solver for HEX-programs, which are nonmonotonic
logic programs admitting both higher-order atoms as well as external atoms. Higher-order
features are widely acknowledged as being useful for various tasks, including meta- ...
Cited by 10 - Related articles - All 11 versions - Import into BibTeX
An ontology for software models and its practical implications for semantic web reasoning
[PDF] from eswc2008.orgM Bräuer, H Lochmann - Proceedings of the 5th European semantic ..., 2008 - dl.acm.org
Abstract Ontology-Driven Software Development (ODSD) advocates using ontologies for
capturing knowledge about a software system at development time. So far, ODSD
approaches have mainly focused on the unambiguous representation of domain models ...
Cited by 13 - Related articles - BL Direct - All 4 versions - Import into BibTeX
Semantic Web reasoning for ontology-based integration of resources
[PDF] from ici.roL Badea, D Tilivea... - ... Practice of Semantic Web Reasoning, 2004 - Springer
The Semantic Web should enhance the current World Wide Web with reasoning capabilities
for enabling automated processing of possibly distributed information. In this paper we
describe an architecture for Semantic Web reasoning and query answering in a very ...
Cited by 11 - Related articles - BL Direct - All 12 versions - Import into BibTeX
[PDF] dlvhex: A tool for semantic-web reasoning under the answer-set semantics
[PDF] from deri.ieT Eiter, G Ianni, R Schindlauer... - ... : Applications of Logic ..., 2006 - axel.deri.ie
Abstract. We briefly report about the development status of dlvhex, a reasoning engine for
HEX-programs, which are nonmonotonic logic programs featuring both higher-order atoms
as well as external ones. Higher-order features are widely acknowledged as useful for ...
Cited by 11 - Related articles - View as HTML - All 20 versions - Import into BibTeX
[CITATION] Rules and Ontologies for the Semantic Web, Reasoning Web: 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial ...
T Eiter, G Ianni, T Krennwallner... - 2008 - Springer-Verlag, Berlin, Heidelberg
Cited by 11 - Related articles - Import into BibTeX
Principles of Inductive Reasoning on the Semantic Web: A Framework for Learning in AL {\ mathcal AL}-Log
F Lisi - Principles and Practice of Semantic Web Reasoning, 2005 - Springer
The design of the logical layer of the Semantic Web, and subsequently of the mark-up
language SWRL, has renewed the interest in hybrid knowledge representation and
reasoning. In this paper we discuss principles of inductive reasoning for this layer. To this ...
Cited by 16 - Related articles - BL Direct - All 4 versions - Import into BibTeX
[CITATION] OWLJessKB: a semantic web reasoning tool
J Kopena... - 2005
Cited by 8 - Related articles - Import into BibTeX
Reasoning support for Semantic Web ontology family languages using Alloy
[PDF] from psu.eduHH Wang, JS Dong, J Sun... - Multiagent and Grid Systems, 2006 - IOS Press
... It can be useful at many stages during the design, verification, maintenance and deployment
of web ontology. In this section, we show that different Semantic Web reasoning tasks can be
accomplished by using the Alloy Analyzer. 5.1. Standard OWL reasoning tasks ...
Cited by 11 - Related articles - BL Direct - All 6 versions - Import into BibTeX
Semantic matchmaking of web resources with local closed-world reasoning
[PDF] from knoesis.orgS Grimm... - International Journal of Electronic Commerce, 2007 - ME Sharpe
Page 1. International Journal of Electronic Commerce / Winter 2007-8, Vol. 12, No.
2, pp. 89-126. Copyright (c) 2008 ME Sharpe, Inc. All rights reserved. 1086-4415/2008
$9.50 + 0.00. DOI 10.2753/JEC1086-4415120204 Semantic ...
Cited by 26 - Related articles - BL Direct - All 21 versions - Import into BibTeX
Probabilistic reasoning in the semantic web using markov logic
PC de Oliveira - 2009 - student.dei.uc.pt
... Applied Statistical Relational Learning techniques to Semantic Web reasoning ?Studied not
only reasoning under uncertainty in ... Pedro Oliveira, Paulo Gomes: "Learning and Reasoning about
Uncertainty in the Semantic Web", 14th Portuguese Conference on Artificial ...
Cited by 6 - Related articles - View as HTML - All 2 versions - Import into BibTeX
[BOOK] Principles and practice of Semantic Web reasoning: third international workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005; ...
F Fages... - 2005 - books.google.com
The promise of the Semantic Web is to move from a Web of data to a Web of meaning and
distributed services. This vision of the Web has attracted researchers from di?erent horizons
with the aims of de?ning new architectures and languages necessary to make it possible, ...
Cited by 4 - Related articles - Library Search - All 2 versions - Import into BibTeX
Knowledge engineering rediscovered: towards reasoning patterns for the semantic web
[PDF] from vu.nlF Van Harmelen, A Ten Teije... - Proceedings of the fifth ..., 2009 - dl.acm.org
... and not attempting any (semi-)formal defini- tions. From this brief analysis, we
conclude that ours is the first attempt at a systematic analysis of Semantic Web
reasoning patterns. 3. FORMAL PRELIMINARIES We will use the ...
Cited by 8 - Related articles - All 11 versions - Import into BibTeX
[PDF] Semantic web reasoning by swarm intelligence
[PDF] from 137.226.34.227K Dentler, C Guéret... - Proceedings of Nature ..., 2009 - 137.226.34.227
Abstract. Semantic Web reasoning systems are confronted with the task to process growing
amounts of distributed, dynamic resources. This paper presents a novel way of approaching
the challenge by RDF graph traversal, exploiting the advantages of swarm intelligence. ...
Cited by 5 - Related articles - View as HTML - All 10 versions - Import into BibTeX
Comparison of a Deductive Database with a Semantic Web reasoning engine
[PDF] from nodak.eduSA Ludwig - Knowledge-Based Systems, 2010 - Elsevier
Knowledge engineering is a discipline concerned with constructing and maintaining
knowledge bases to store knowledge of various domains and using the knowledge by
automated reasoning techniques to solve problems in domains that ordinarily require ...
Cited by 5 - Related articles - All 3 versions - Import into BibTeX
Practice of inductive reasoning on the semantic web: A system for semantic web mining
[PDF] from eswc2006.orgF Lisi - Principles and Practice of Semantic Web Reasoning, 2006 - Springer
Mining the layers of ontologies and rules provides an interesting testbed for inductive
reasoning on the Semantic Web. Systems based on Inductive Logic Programming (ILP)
could serve the purpose if they were more compliant with the standards of representation ...
Cited by 5 - Related articles - BL Direct - All 4 versions - Import into BibTeX
The Quest for Parallel Reasoning on the Semantic Web
[PDF] from vu.nlP Li, Y Zeng, S Kotoulas, J Urbani... - Active Media Technology, 2009 - Springer
... 3 Parallelizing Semantic Web Reasoning Since the data on the Semantic Web is mainly
presented using RDF, reasoning on the Semantic Web is mainly focused on RDFS and
OWL. We can identify two major goals in Semantic Web reasoning. ...
Cited by 5 - Related articles - All 10 versions - Import into BibTeX
Semantic Web reasoning for analyzing gene expression profiles
[PDF] from rewerse.euL Badea - Principles and Practice of Semantic Web Reasoning, 2006 - Springer
We argue that Semantic Web reasoning is an ideal tool for analyzing gene expression
profiles and the resulting sets of differentially expressed genes produced by high-throughput
microarray experiments, especially since this involves combining not only very large, but ...
Cited by 3 - Related articles - BL Direct - All 13 versions - Import into BibTeX
Establishing the Semantic Web Reasoning Infrastructure on Description Logic Inference Engines
DA Koutsomitropoulos, DP Meidanis... - Enterprise Information ..., 2008 - Springer
The recent advent of the Semantic Web has given rise to the need for efficient and sound
methods that would provide reasoning support over the knowledge scattered on the Internet.
Description Logics and DL-based infer-ence engines in particular play a significant role ...
Cited by 3 - Related articles - All 2 versions - Import into BibTeX
Interleaving Semantic Web Reasoning and Service Discovery to Enforce Context-Sensitive Security and Privacy Policies
[PDF] from cmu.eduN Sadeh... - 2005 - aaai.org
Abstract In many domains, users and organizations need to protect their information and
services subject to policies that reflect dynamic, context-sensitive considerations. More
generally, enforcing rich policies in open environments will increasingly require the ability ...
Cited by 3 - Related articles - All 24 versions - Import into BibTeX
Reasoning on the semantic web: Beyond ontology languages and reasoners
[PDF] from rewerse.netF Bry... - ... Technology, 2005. EWIMT 2005. The 2nd ..., 2005 - ieeexplore.ieee.org
... A Semantic Web reasoning or reactive language must ... Abstract data types and static type checking
are desirable for Semantic Web reasoning and reactive languages as they are for any other
programming languages: "Well typed progmms do not go wrong." [19] ...
Cited by 4 - Related articles - All 8 versions - Import into BibTeX
A trusted defeasible reasoning service for brokering agents in the semantic web
[PDF] from auth.grK Kravari, E Kontopoulos... - ... Distributed Computing III, 2009 - Springer
... DKE 63(2), 362-380 (2007) 14. Wagner, G., Giurca, A., Lukichev, S.: R2ml: A general approach
for marking up rules. In: Marchiori, M., Fages, F., Ohlbach, H. (eds.) Principles and Practices of
Semantic Web Reasoning, Dagstuhl Seminar Proceedings 05371 (2005)
Cited by 4 - Related articles - All 3 versions - Import into BibTeX
A semantic web framework for interleaving policy reasoning and external service discovery
[PDF] from cmu.eduJ Rao... - Rules and Rule Markup Languages for the Semantic ..., 2005 - Springer
... coming requests. These agents implement meta-control strategies to dynami- cally
interleave semantic web reasoning and service discovery and access. The paper
also presents preliminary empirical results. This research ...
Cited by 4 - Related articles - BL Direct - All 14 versions - Import into BibTeX
Reasoning about communicating agents in the semantic web
[PDF] from unito.itM Baldoni, C Baroglio, L Giordano... - ... Web Reasoning, 2003 - Springer
In this article we interpret the Semantic Web and Web Service issues in the framework of
multi-agent interoperating systems. We will advocate the application of results achieved in
the research area of reasoning about actions and change by showing scenarios and ...
Cited by 4 - Related articles - BL Direct - All 11 versions - Import into BibTeX
[BOOK] Principles and practice of Semantic Web reasoning: international workshop, PPSWR 2003, Mumbai, India, December 8, 2003: proceedings
F Bry, N Henze... - 2003 - books.google.com
This book constitutes the refereed proceedings of the International Workshop on Principles
and Practice of Semantic Web Reasoning, PPSWR 2003, held in Mumbai, India in
December 2003 as satellite meeting of ICLP 2003. The 13 revised full papers presented ...
Cited by 2 - Related articles - Library Search - All 9 versions - Import into BibTeX
[PDF] DAMLJessKB: A tool for reasoning with the semantic web
[PDF] from psu.eduJ Kopena... - October, 2002 - Citeseer
Page 1. DAMLJessKB: A Tool for Reasoning with the Semantic Web Joe Kopena William C. Regli £
Geometric and Intelligent Computing Laboratory Department of Computer Science College of
Engineering Drexel University 3141 Chestnut Street Philadelphia, PA, 19104 ...
Cited by 4 - Related articles - View as HTML - All 8 versions - Import into BibTeX
[PDF] Statistical Reasoning-A Foundation for Semantic Web Reasoning
[PDF] from free.frS Kant... - Proceedings of the ISWC-URSW held in ..., 2005 - philippe.ameline.free.fr
Abstract There has been considerable debate as to the merits and the applicability of
probabilistic or statistical reasoning to Semantic Web. Much of this debate seems to have
centered on the applicability of statistical methods in a supposedly deterministic setting. In ...
Cited by 2 - Related articles - View as HTML - All 10 versions - Import into BibTeX
[HTML] Reasoning methods for personalization on the semantic web
[HTML] from unito.itG Antoniou, M Baldoni, C Baroglio, V Patti... - Annals of ..., 2004 - di.unito.it
... of the 1st International Workshop on Principle and Practice of Semantic Web Reasoning, PPSWR
2003}, YEAR = {2003}, EDITOR = {Bry, F. AND Henze, H. AND Maluszynski, J.}, VOLUME =
{2901}, SERIES = {LNCS}, PAGES = {84--98}, ADDRESS = {Mumbai, India}, MONTH ...
Cited by 22 - Related articles - Cached - All 14 versions - Import into BibTeX
[PDF] Lightweight semantic web oriented reasoning in Prolog: tableaux inference for description logics
[PDF] from psu.eduT Herchenröder - Master of science, School of Informatics, University of ..., 2006 - Citeseer
... 2 1.1.3 Semantic Web Reasoning . . . . . ... This is a typical scenario for using Descrip- tion Logics
reasoning on the Semantic Web. 1.1.3 Semantic Web Reasoning Description Logics are a
well-investigated, set-theoretical founded subset of First- Order Logic. ...
Cited by 5 - Related articles - View as HTML - All 9 versions - Import into BibTeX
Extending XQuery for semantic web reasoning
[PDF] from uevora.ptJ Almendros-Jiménez - Applications of Declarative Programming and ..., 2011 - Springer
In this paper we investigate an extension of the XQuery language for querying and
reasoning with OWL-style ontologies. The proposed extension incorporates new primitives
(ie boolean operators) in XQuery for the querying and reasoning with OWL-style triples in ...
Cited by 2 - Related articles - All 4 versions - Import into BibTeX
[CITATION] Personalization for the Semantic Web. Reasoning Web
M Baldoni, C Baroglio... - First International Summer School, LNCS, 2005
Cited by 2 - Related articles - Import into BibTeX
[CITATION] Principles and Practice of Semantic Web Reasoning
F Gaes - 2005 - Springer, Berlin
Cited by 2 - Related articles - Import into BibTeX
Large scale reasoning on the semantic web: what to do when success is becoming a problem
F Van Harmelen - Brain Informatics, 2009 - Springer
... locations. The Large Knowledge Collider (LarKC) is providing an infrastructure to
solve such problems. LarKC exploits parallelisation, distribution and approximation
to enable Semantic Web reasoning at arbitrary scale. In this ...
Cited by 2 - Related articles - All 6 versions - Import into BibTeX
[CITATION] Principles of inductive reasoning on the semantic Web: a framework for learning in AL-log
AL FRANCESCA - ... on Principles and Practice of Semantic Web Reasoning ..., 2005
Cited by 2 - Related articles - Import into BibTeX
[PDF] Enabling High-Performance Computing Resources For Efficient Semantic Web Reasoning
[PDF] from hlrs.deA Cheptsov, M Assel... - ... of the 7th Extended Semantic Web ..., 2010 - fs.hlrs.de
Abstract. The paper presents a technology of high-performance computing resource's
utilization for solving complex tasks of semantic web reasoning, applied within LarKC-the
Large Knowledge Collider. The technology enables utilization of a virtually unlimited ...
Cited by 1 - Related articles - View as HTML - Import into BibTeX
[BOOK] Principles and practice of semantic web reasoning: 4th international workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006; revised selected papers
JJ Alferes - 2006 - books.google.com
This book constitutes the refereed proceedings of the 4th International Workshop on
Principles and Practice of Semantic Web Reasoning, PPSWR 2006, held in Budva,
Montenegro in June 2006 as a satellite event of the 3rd Annual European Semantic Web ...
Cited by 1 - Related articles - Library Search - All 2 versions - Import into BibTeX
Semantic web reasoning using a blackboard system
[PDF] from aktors.orgC McKenzie, A Preece... - ... Practice of Semantic Web Reasoning, 2006 - Springer
In this paper, we discuss the need for a hybrid reasoning approach to handing Semantic
Web (SW) data and explain why we believe that the Blackboard Architecture is particularly
suitable. We describe how we have utilised it for coordinating a combination of ontological ...
Cited by 1 - Related articles - BL Direct - All 16 versions - Import into BibTeX
Analysis of intelligent reasoning techniques for the semantic Web
J Xia, B Mu... - ... Daxue Xuebao(Ziran Kexueban)/(Journal of ..., 2004 - en.cnki.com.cn
... In this paper,the architecture of the semantic Web is introduced first and the function of each
level explained. Then analyzed are the general approaches of semantic Web reasoning and
some major techniques that can offer intelligence to a certain extent. ...
Cited by 1 - Related articles - Cached - All 2 versions - Import into BibTeX
An Integrated System of Semantic Web Reasoning and Argument-Based Reasoning
T Wakaki, H Sawamura... - Advances in Intelligent Web Mastering, 2007 - Springer
So far only rule-based knowledge has been taken into account in multi-agent systems based
on argumentation. Recent progress of the Semantic Web technology provides expressive
ontology languages. In this paper, we present an integrated system of Semantic Web ...
Related articles - All 4 versions - Import into BibTeX
[PDF] Analyzing Gene Expression Profiles with Semantic Web Reasoning
[PDF] from rewerse.netL Badea, D Tilivea... - 2008 - rewerse.net
Abstract. We argue that Semantic Web reasoning is an ideal tool for analyzing gene
expression profiles and the resulting sets of differentially expressed genes produced by high-
throughput microarray experiments, especially since this involves combining not only very ...
Related articles - View as HTML - All 5 versions - Import into BibTeX
Cognitively-inspired Heuristic Reasoning for Scalable Semantic Web Reasoning
G Tagni - 2009 - ceur-ws.org
With the increase in the amount of data published in the Web an important subject of interest
that has recently gained momentum in the Semantic Web community is how to provide
scalable reasoning techniques to support the type of Web applications normally found in ...
View as HTML - Import into BibTeX
PPSWR 2004: principles and practice of semantic web reasoning:(St. Malo, 6-10 September 2004)
HJ Ohlbach... - Lecture notes in computer science, 2004 - cat.inist.fr
... Titre du document / Document title. PPSWR 2004 : principles and practice of semantic web
reasoning : ( St. ... Source / Source. Congrès International workshop on principles and practice of
semantic web reasoning N o 2, Saint Malo , FRANCE (06/09/2004) 2004 , vol. ...
Import into BibTeX
... intelligent software agents to reason about information and knowledge which is pervaded on the Web. To realize this, Semantic Web reasoning research has to face ...
E ARea2008, F van Harmelen, A Herzig, P Hitzler... - ceur-ws.org
Semantic Web Technologies provide concepts, architectures, and tools for interconnected vocabularies
and applications. One of the declared goals of Semantic Web research is to enable intelligent
software agents to reason about information and knowledge which is pervaded on the ...
View as HTML - All 3 versions - Import into BibTeX
Principles and Practice of Semantic Web Reasoning (Paperback): 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised ...
JJ ALFERES - 2006 - lavoisier.fr
This book constitutes the refereed proceedings of the 4th International Workshop on
Principles and Practice of Semantic Web Reasoning, PPSWR 2006, held in Budva,
Montenegro in June 2006 as a satellite event of the 3rd Annual European Semantic Web ...
Cached - All 2 versions - Import into BibTeX
Semantic Web Reasoning Tutoring Agent
C Panayiotou... - Intelligent Tutoring Systems, 2008 - Springer
This paper proposes a proof theoretic approach to check conflicts between the arguments
derived from the ontologies of learning resources. Two types of arguments that can arise in a
situation where a learner encounters conflicting viewpoints about a topic are identified, ...
Related articles - All 2 versions - Import into BibTeX
[PDF] Parallelization Techniques for Semantic Web Reasoning Applications
[PDF] from semanticweb.orgA Cheptsov... - iswc2010.semanticweb.org
Abstract. Performance is the most critical aspect towards achieving high scalability of
Semantic Web reasoning applications, and considerably limits the application areas of them.
There is still a deep mismatch between the requirements for reasoning on a Web scale ...
Related articles - View as HTML - All 2 versions - Import into BibTeX
Applying Semantic Web Reasoning to Counter-Terrorism
P Kogut, Y Leung, KM Ryan... - ... Policies for Counter ..., 2006 - Wiley Online Library
The Semantic Web provides a foundation for automated reasoning with distributed
knowledge. Chapter 6 by Golbeck et al. introduced Semantic Web technology and de- scribed
terrorism ontologies. Chapter 9 by Kettler et al. introduced a wide variety of tools for ...
Related articles - All 3 versions - Import into BibTeX
[PDF] Towards a Logical Foundation for Bioinformatics Based on Semantic Web Based Scientific Reasoning
[PDF] from kesinternational.orgRD King - kes2010.kesinternational.org
... Bioinformatic knowledge makes up a large percentage of the scientific Semantic Web, and
many of the problems that makes general Semantic Web reasoning difficult don't apply
to bioinformatics: ? A ground truth of scientific knowledge exists. ...
Related articles - View as HTML - Import into BibTeX
05371 Executive Summary--Principles and Practice of Semantic Web Reasoning (PPSWR)}
[PDF] from dagstuhl.deU Schwertel - ... and Practices of Semantic Web Reasoning}, 2006 - drops.dagstuhl.de
Abstract The seminar" Principles and Practice of Semantic Web Reasoning" took place from
Septem-ber 11-16, 2005. It was organised by F. Bry (Univ. MÃ1/4nchen, DE), F. Fages (INRIA
Roc-quencourt, FR), M. Marchiori (MIT â€"Cambridge, US) and HJ Ohlbach (Univ. ...
All 4 versions - Import into BibTeX
[BOOK] Principles and practice of Semantic Web reasoning: second international workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004: proceedings
HJ Ohlbach... - 2004 - books.google.com
This book constitutes the refereed proceedings of the Second International Workshop on
Principles and Practice of Semantic Web Reasoning, PPSWR 2004, held in St. Malo, France
in September 2004. The 11 revised full papers presented were carefully reviewed and ...
Related articles - Library Search - All 6 versions - Import into BibTeX
[PDF] A MEDIATOR SYSTEM FOR SEMANTIC WEB REASONING
[PDF] from psu.eduL Badea, D Tilivea... - 2008 - Citeseer
Abstract. In this paper, we describe an initial prototype of a full-fledged mediator system for
integrated reasoning about data and knowledge using Semantic Web technology. In order to
prove the feasibility of our approach, we present a real-life application in the domain of ...
Related articles - View as HTML - All 4 versions - Import into BibTeX
of Proceedings: Principles and Practice of Semantic Web Reasoning, 4th International Workshop, PPSWR 2006
P Baumgartner, FM Suchanek, JJ Alferes, J Bailey... - 2006 - edoc.mpg.de
Abstract/Description: Formal ontologies play an increasingly important role in demanding
knowledge representation applications like the Semantic Web. Regarding automated
reasoning support, the mainstream of research focusses on ontology languages that are ...
Import into BibTeX
Integration of Semantic Web Reasoning and Argument-based Reasoning
T Wakaki, H Sawamura, T Fukumoto... - Transactions of the ..., 2007 - adsabs.harvard.edu
Abstract Though many kinds of multi-agent systems based on argumentation have been
proposed where only rule-based knowledge is taken into account, they have been unable to
handle the ontological knowledge so far. In our daily life, however, there are a lot of ...
Import into BibTeX
[CITATION] Principles and Practice of Semantic Web Reasoning
J Júlio, James. Bailey... - Springer-Verlag Berlin Heidelberg
Import into BibTeX
[PDF] Principles and Practices of Semantic Web Reasoning
[PDF] from rewerse.euD Seminar - rewerse.eu
Abstract. From 11.09. 05 to 16.09. 05, the Dagstuhl Seminar 05371 Principles and Practices
of Semantic Web Reasoning was held in the International Conference and Research Center
(IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current ...
View as HTML - All 5 versions - Import into BibTeX
" dlvhex: A Tool for Semantic-Web Reasoning under the Answer-Set Semantics"; Vortrag: Workshop on Applications of Logic Programming in the Semantic Web and ...
T Eiter, G Ianni, R Schindlauer... - pub-inf.tuwien.ac.at
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits: "dlvhex: A Tool for Semantic-Web Reasoning under
the Answer-Set Semantics"; Vortrag: Workshop on Applications of Logic Programming in the
Semantic Web and Semantic Web Services (ALPSWS 2006), at FLOC/ICLP 2006, ...
Cached - All 2 versions - Import into BibTeX
[PDF] A Brief Letter on Reasoning about Information Assurance using the Semantic Web
[PDF] from albany.eduSF Bush - 4th Annual Symposium on Information Assurance ( ..., 2009 - albany.edu
... research. ge. com/~ bushsf Abstract-This is a brief letter outlining speculative ideas for semantic
web reasoning about information assurance. Much work has been done on the development of
semantic web applications for reasoning about information assurance. ...
Related articles - View as HTML - All 2 versions - Import into BibTeX
[CITATION] Principles and Practice of Semantic Web Reasoning
François. Fages... - Springer-Verlag Berlin Heidelberg
Import into BibTeX
[CITATION] First-Order Logic Reasoning Support for the Semantic Web
GH Xu... - Ruan Jian Xue Bao(Journal ..., 2008 - Chinese Academy of Sciences, No. ...
Import into BibTeX
Research on semantic web reasoning based on event ontology
[PDF] from shu.edu.cnW Xu, W Liu, J Fu... - New Horizons in Web-Based Learning-ICWL ..., 2011 - Springer
Ontology is one of the key technologies in Semantic Web. And the traditional ontology is
only used to describe the concepts and the relations between them which neglected to
describe dynamic knowledge. However, the Semantic Web offers services, which allow ...
Related articles - All 4 versions - Import into BibTeX
Agent Reasoning with Semantic Web in Web Blogs
D Tran... - Intelligent Agents and Multi-Agent Systems, 2008 - Springer
... get and dispatch the result to mobile phone user. Keywords: Semantic web, reasoning,
information integration, ontology, multi- agent system, web blogs, web mining. 1
Introduction A large number of pages on the World Wide ...
Related articles - All 3 versions - Import into BibTeX
[PDF] Reasoning and Representing Viewpoints on the Semantic Web
[PDF] from intechopen.comC Panayiotou - 2011 - intechopen.com
Page 1. Reasoning and Representing Viewpoints on the Semantic Web 181 x
Reasoning and Representing Viewpoints on the Semantic Web Christiana Panayiotou
8niversity of Leeds 8K. 1. Introduction Pertaining to the process ...
Related articles - View as HTML - All 2 versions - Import into BibTeX
[PDF] W3: Uncertainty Reasoning for the Semantic Web
[PDF] from eurovotech.orgPCG Costa, KB Laskey, KJ Laskey... - eurovotech.org
... 104 S. Schaffert, F. Bry, P. Besnard, H. Decker, S. Decker, C. Enguix, A. Herzig
Representing Probabilistic Relations in RDF..... 106 Yoshio Fukushige Statistical
Reasoning-A Foundation for Semantic Web Reasoning..... ...
View as HTML - All 7 versions - Import into BibTeX
[PDF] Approximate Reasoning for the Semantic Web
[PDF] from loria.frF van Harmelen, P Hitzler... - folli.loria.fr
... Volume 3729 of Lecture Notes in Computer Science., Springer, Berlin (2005)
383-397 (extract) Perry Groot, Heiner Stuckenschmidt and Holger Wache.
Approximating Description Logic Classification for Semantic Web Reasoning. ...
Related articles - View as HTML - All 6 versions - Import into BibTeX
PPSWR 2005: principles and practice of semantic web reasoning:(Dagstuhl Castle, 11-16 September 2005)
F Fages... - Lecture notes in computer science, 2005 - cat.inist.fr
... Titre du document / Document title. PPSWR 2005 : principles and practice of semantic web
reasoning : ( Dagstuhl Castle, 11-16 September 2005 ) Auteur(s) / Author(s). ... Source / Source.
Congrès Principles and practice of semantic web reasoning. ...
Import into BibTeX
" Effective Integration of Declarative Rules with External Evaluations for Semantic Web Reasoning"; Vortrag: European Conference on Semantic Web (ESWC 2006), ...
T Eiter, G Ianni, R Schindlauer... - pub-inf.tuwien.ac.at
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits: "Effective Integration of Declarative Rules with External
Evaluations for Semantic Web Reasoning"; Vortrag: European Conference on Semantic Web
(ESWC 2006), Budva, Montenegro; 11.06.2006 - 14.06.2006; in: "The Semantic Web: ...
Cached - All 2 versions - Import into BibTeX
|
