Filters








122,894 Hits in 6.0 sec

An Entailment Relation for Reasoning on the Web [chapter]

François Bry, Sebastian Schaffert
2003 Lecture Notes in Computer Science  
This article first gives requirements for an entailment tuned to reasoning on the Web. Then, it describes how classical logic's entailment can be modified so as to enforce these requirements.  ...  Reasoning on the Web is receiving an increasing attention because of emerging fields such as Web adaption and Semantic Web.  ...  Because the Web is inherently heterogeneous, it is inherently inconsistent. Therefore, an inconsistency tolerant entailment relation is desirable for reasoning on the Web. Nonmonotonic Negation.  ... 
doi:10.1007/978-3-540-39715-1_2 fatcat:ceurvl3eyvgjlb6ic23bt2omba

Reasoning on web data: Algorithms and performance

Damian Bursztyn, Francois Goasdoue, Ioana Manolescu, Alexandra Roatis
2015 2015 IEEE 31st International Conference on Data Engineering  
Both are based on the idea of decoupling RDF entailment -the reasoning mechanism based on which query answers are defined -from query evaluation; the performance of the respective algorithms depends on  ...  Techniques for efficiently managing Semantic Web data have attracted significant interest from the data management and knowledge representation communities.  ...  One explanation for this relative lack of interest in reasoning within the database community may be the fact that one can "compile the knowledge into data", as follows.  ... 
doi:10.1109/icde.2015.7113422 dblp:conf/icde/BursztynGMR15 fatcat:dudx4plquzbebfz7w5s2ooppam

A Hybrid DL and RL Based Reasoner for Optimum Entailments in Ontologies

Deepika Chaudhary, Jaiteg Singh, D. P. Kothari
2017 Indian Journal of Science and Technology  
Applications: This framework gives us an efficient way for performing entailments in any kind of ontology whether it is a simple ontology or ontology based on OWL2 profile languages.  ...  Afterwards it will upload the rules set for performing Rule based entailments. It will thus perform the assertion reasoning based on rules set and the given axioms.  ...  In future we can analyze the working of this reasoner on large ontology's which has an extended dataset stored in a database. Figure 1 . 1 Semantic Web Stack.  ... 
doi:10.17485/ijst/2017/v10i23/111164 fatcat:pk76k252d5bj7ggesmd3tgtbz4

AORTE for Recognizing Textual Entailment [chapter]

Reda Siblini, Leila Kosseim
2009 Lecture Notes in Computer Science  
At the TAC RTE4 challenge the system evaluation yielded an accuracy of 68% on the two-way task, and 61% on the three way task using a simple decision tree classifier.  ...  We further introduce the set of features used in classifying textual entailment.  ...  The RACER system (an acronym for Renamed ABox and Concept Expression Reasoner) is a reasoner that implements tableau calculus for description logic (DL) and supports the web ontology languages DAML+OIL  ... 
doi:10.1007/978-3-642-00382-0_20 fatcat:yoe7vbuhv5crnmnfe2ya2eey7m

Semantic web for integrated network analysis in biomedicine

H. Chen, L. Ding, Z. Wu, T. Yu, L. Dhanapalan, J. Y. Chen
2009 Briefings in Bioinformatics  
The Semantic Web technology enables integration of heterogeneous data on the World Wide Web by making the semantics of data explicit through formal ontologies.  ...  In this article, we survey the feasibility and state of the art of utilizing the Semantic Web technology to represent, integrate and analyze the knowledge in various biomedical networks.  ...  Acknowledgements We would like to thank all of the colleagues who contributed their ideas to this article. FUNDING The researches of the co-authors are funded by China national programs with No.  ... 
doi:10.1093/bib/bbp002 pmid:19304873 fatcat:4q6skldwufbtxfdymxl6uraleq

ClioPatria: A SWI-Prolog infrastructure for the Semantic Web

Jan Wielemaker, Wouter Beek, Michiel Hildebrand, Jacco van Ossenbruggen, Axel Polleres
2016 Semantic Web Journal  
ClioPatria is a comprehensive semantic web development framework based on SWI-Prolog.  ...  ClioPatria extends this core with a SPARQL and LOD server, an extensible web frontend to manage the server, browse the data, query the data using SPARQL and Prolog and a Git-based plugin manager.  ...  Acknowledgements The development of ClioPatria has been initiated under the Dutch MultimediaN project. Further development has taken place in the context of many different projects.  ... 
doi:10.3233/sw-150191 fatcat:a3zta32n2jduzltcldsfvodhbq

Performance Evaluation of the Semantic Web Reasoners

2019 International journal of recent technology and engineering  
The major benefit of working on Ontology Web Language (OWL) is its ability to define semantics such that the information becomes more valuable.  ...  The objective of this paper is to list and classify the reasoners according to OWL 2 profiles thereafter the focus of this study is to develop a model which evaluate the performance of Semantic Web Reasoner  ...  Every entailment is based on some logic which can be defined as the study of entailment relations, languages, true conditions, and the rules of inference.  ... 
doi:10.35940/ijrte.d7127.118419 fatcat:fnr4z4xjijhr5gupf6tmzdpwti

Context-Dependent OWL Reasoning in Sindice - Experiences and Lessons Learnt [chapter]

Renaud Delbru, Giovanni Tummarello, Axel Polleres
2011 Lecture Notes in Computer Science  
However, due to the scale and heterogeneity of web data, a reasoning engine for the Sindice system must (1) scale out through parallelisation over a cluster of machines; and (2) cope with unexpected data  ...  A preliminary version [6] of this article was presented at the 4th International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS 2008).  ...  Reasoning over Web Data In this section, we first provide an overview of the current approaches for large scale reasoning over web data.  ... 
doi:10.1007/978-3-642-23580-1_5 fatcat:d7qbzohinjemnc5szvm5kw5kku

A natural language bipolar argumentation approach to support users in online debate interactions†

Elena Cabrio, Serena Villata
2013 Argument & Computation  
With the growing use of the Social Web, an increasing number of applications for exchanging opinions with other people are becoming available online.  ...  In particular, we adopt the textual entailment approach, a generic framework for applied semantics, where linguistic objects are mapped by means of semantic inferences at a textual level.  ...  An entailment attack of type 1 for A j by A k is a sequence A 1 R 1 . . .  ... 
doi:10.1080/19462166.2013.862303 fatcat:5abbrmzbxnb3bawjsekucthoba

A Reasoning Algorithm for pD* [chapter]

Huiying Li, Yanbing Wang, Yuzhong Qu, Jeff Z. Pan
2006 Lecture Notes in Computer Science  
pD* semantics extends the 'if-semantics' of RDFS to a subset of the OWL vocabulary. It leads to simple entailment rules and relatively low computational complexity for reasoning.  ...  In this paper, we propose a forward-chaining reasoning algorithm to support RDFS entailments under the pD* semantics. This algorithm extends the Sesame algorithm to cope with the pD* entailments.  ...  Related Work The advent of RDFS represented an early attempt at a SW ontology language based on RDF.  ... 
doi:10.1007/11836025_29 fatcat:qyzsgae5gnb3tbkkfxxcvffmoq

The Yin/Yang web

Peter Patel-Schneider, Jérôme Siméon
2002 Proceedings of the eleventh international conference on World Wide Web - WWW '02  
XML is the W3C standard document format for writing and exchanging information on the Web. RDF is the W3C standard model for describing the semantics and reasoning about information on the Web.  ...  In this paper, we propose an architecture for a unified Web based on a common model theory for XML and RDF.  ...  We thank Vassilis Christophides and Jonathan Robie for provocative discussions about semantics and about the Web, and for feedback on earlier drafts.  ... 
doi:10.1145/511446.511504 dblp:conf/www/Patel-SchneiderS02 fatcat:edannlqav5hk5mhc46wse2iad4

Validating Contradiction in Texts Using Online Co-Mention Pattern Checking

Chengwei Shih, Chengwei Lee, Richard Tzonghan Tsai, Wenlian Hsu
2012 ACM Transactions on Asian Language Information Processing  
Experiments on three different configurations show that the MCP-based approach achieves remarkable improvement on contradiction detection and can significantly improve the performance of textual entailment  ...  Detecting contradictive statements is a foundational and challenging task for text understanding applications such as textual entailment.  ...  when making an utterance on the Web.  ... 
doi:10.1145/2382593.2382599 fatcat:6x6d34a3n5cx3hz7vdyr5z2plm

The Yin/Yang web

Peter Patel-Schneider, Jérôme Siméon
2002 Proceedings of the eleventh international conference on World Wide Web - WWW '02  
XML is the W3C standard document format for writing and exchanging information on the Web. RDF is the W3C standard model for describing the semantics and reasoning about information on the Web.  ...  In this paper, we propose an architecture for a unified Web based on a common model theory for XML and RDF.  ...  We thank Vassilis Christophides and Jonathan Robie for provocative discussions about semantics and about the Web, and for feedback on earlier drafts.  ... 
doi:10.1145/511503.511504 fatcat:ijjd3jl6gzfxthes56xb7zmgkm

The distributional inclusion hypotheses and lexical entailment

Maayan Geffet, Ido Dagan
2005 Proceedings of the 43rd Annual Meeting on Association for Computational Linguistics - ACL '05  
To automatically explore the validity of the defined hypotheses we developed an inclusion testing algorithm for characteristic features of two words, which incorporates corpus and web-based feature sampling  ...  Our proposed hypotheses relate the distributional behavior of pairs of words to lexical entailment -a tighter notion of semantic similarity that is required by many NLP applications.  ...  We thank Idan Szpektor for providing the infrastructure system for web-based data extraction.  ... 
doi:10.3115/1219840.1219854 dblp:conf/acl/GeffetD05 fatcat:xezw33bqerdh5p3f75f7anoz4u

Evolutionary and Swarm Computing for the Semantic Web

Christophe Gueret, Stefan Schlobach, Kathrin Dentler, Martijn Schut, Gusz Eiben
2012 IEEE Computational Intelligence Magazine  
Finally, we will discuss two case studies in which we successfully applied soft computing methods to two of the main reasoning tasks; an evolutionary approach to querying, and a swarm algorithm for entailment  ...  The expressiveness and flexibility of the publication model of Linked Data has led to its widespread adoption and an ever increasing publication of semantically rich data on the Web.  ...  This reasoning process will lead to the materialization of an explicit triple for an information that was otherwise implicit.  ... 
doi:10.1109/mci.2012.2188583 fatcat:5guizi4b2nbhjmdhopyqwlev74
« Previous Showing results 1 — 15 out of 122,894 results