Not logged in : Login
(Sponging disallowed)

About: http://www.w3.org/2001/sw/SW-FAQ#logicIncosistency     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://www.w3.org/2008/02/faqTerms.rdf#FAQ, within Data Space : www.openlinksw.com associated with source document(s)
QRcode icon
http://www.openlinksw.com/describe/?url=http%3A%2F%2Fwww.w3.org%2F2001%2Fsw%2FSW-FAQ%23logicIncosistency

AttributesValues
Date
  • 2008-01-22T00:00+00:00
described by
Creator
  • Ivan Herman (ivan@w3.org)
Date
  • 2008-01-22T00:00+00:00
Subject
  • Consequences of inconsistency in formal logic: doesn’t that ruin the Semantic Web?
  • TechieQuestions
Link
Title
  • Consequences of inconsistency in formal logic: doesn’t that ruin the Semantic Web?
http://www.w3.org/...erms.rdf#question
  • Consequences of inconsistency in formal logic: doesn’t that ruin the Semantic Web?
http://www.w3.org/...Terms.rdf#inGroup
http://www.w3.org/...qTerms.rdf#answer
  • The problem referred to by this question is the fact that, in formal logic, if there is an inconsitency somewhere, then it is possible to draw all conclusions and their negations. The issue is whether this would not create major difficulties on the Semantic Web. “Inference” in terms of the Semantic Web can be characterized by discovering new relationships (as explained in the answer of another question). These inferences are mostly done within a restricted, “guarded” subset of first order logic. Usually, reasoning on the Semantic Web does not use the full power of first order (or higher order) logic, and therefore avoids some of the dangerous issues that can come from an inferred inconsistency. In other words, in practice, no major difficulties can be expected.
  • The problem referred to by this question is the fact that, in formal logic, if there is an inconsitency somewhere, then it is possible to draw all conclusions and their negations. The issue is whether this would not create major difficulties on the Semantic Web. “Inference” in terms of the Semantic Web can be characterized by discovering new relationships (as explained in the answer of another question). These inferences are mostly done within a restricted, “guarded” subset of first order logic. Usually, reasoning on the Semantic Web does not use the full power of first order (or higher order) logic, and therefore avoids some of the dangerous issues that can come from an inferred inconsistency. In other words, in practice, no major difficulties can be expected.
type
is topic of
Faceted Search & Find service v1.17_git122 as of Jan 03 2023


Alternative Linked Data Documents: iSPARQL | ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Apr 5 2024, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (30 GB total memory, 26 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software