Semantic matchmaking with nonmonotonic description logics /:
Semantic web has grown into a mature field of research. Its methods find innovative applications on and off the World Wide Web. Its underlying technologies have significant impact on adjacent fields of research and on industrial applications. This new book series reports on the state-of-the-art in f...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Heidelberg :
AKA : IOS Press,
[2009]
|
| Schriftenreihe: | Studies on the Semantic Web ;
v. 001. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | Semantic web has grown into a mature field of research. Its methods find innovative applications on and off the World Wide Web. Its underlying technologies have significant impact on adjacent fields of research and on industrial applications. This new book series reports on the state-of-the-art in foundations, methods, and applications of semantic web and its underlying technologies. It is a central forum for the communication of recent developments and comprises research monographs, textbooks and edited volumes on all topics related to the semantic web. In this first volume several non-monoto. |
| Beschreibung: | Originally presented as the author's thesis (doctoral)--Universität Karlsruhe, 2008. |
| Beschreibung: | 1 online resource (xiv, 264 pages) : illustrations |
| Bibliographie: | Includes bibliographical references (pages 249-261) and index. |
| ISBN: | 9781614993353 1614993351 1306284724 9781306284721 |
| ISSN: | 1868-1158 ; |
Internformat
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn868068691 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 140114s2009 gw a ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d IDEBK |d EBLCP |d IOSPR |d YDXCP |d OCLCQ |d E7B |d DEBSZ |d AGLDB |d MOR |d PIFAG |d ZCU |d MERUC |d OCLCQ |d JBG |d OCLCQ |d U3W |d STF |d VTS |d NRAMU |d ICG |d OCLCQ |d INT |d REC |d VT2 |d OCLCQ |d WYU |d OCLCO |d OCLCA |d TKN |d OCLCQ |d DKC |d OCLCO |d AU@ |d OCLCO |d OCLCQ |d M8D |d HS0 |d OCLCQ |d K6U |d OCLCA |d AJS |d OCLCO |d OCLCQ |d OCLCO |d TXE |d OCLCQ |d OCLCO |d OCLCL |d UEJ |d OCLCQ | ||
| 019 | |a 867821944 |a 868226404 |a 869434735 |a 874149188 |a 1055400939 |a 1066428714 |a 1081237146 |a 1228605855 | ||
| 020 | |a 9781614993353 |q (electronic bk.) | ||
| 020 | |a 1614993351 |q (electronic bk.) | ||
| 020 | |a 1306284724 |q (ebk) | ||
| 020 | |a 9781306284721 |q (ebk) | ||
| 020 | |z 9783898386203 | ||
| 020 | |z 3898386201 | ||
| 020 | |z 9781607500094 | ||
| 020 | |z 1607500094 | ||
| 035 | |a (OCoLC)868068691 |z (OCoLC)867821944 |z (OCoLC)868226404 |z (OCoLC)869434735 |z (OCoLC)874149188 |z (OCoLC)1055400939 |z (OCoLC)1066428714 |z (OCoLC)1081237146 |z (OCoLC)1228605855 | ||
| 037 | |a 559723 |b MIL | ||
| 050 | 4 | |a TK5105.88815 |b .G75 2009eb | |
| 072 | 7 | |a TEC |x 009070 |2 bisacsh | |
| 082 | 7 | |a 621.38 |2 22 | |
| 084 | |a ST 304 |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 049 | |a MAIN | ||
| 100 | 1 | |a Grimm, Stephan. | |
| 245 | 1 | 0 | |a Semantic matchmaking with nonmonotonic description logics / |c Stephan Grimm. |
| 264 | 1 | |a Heidelberg : |b AKA : |b IOS Press, |c [2009] | |
| 264 | 4 | |c ©2009 | |
| 300 | |a 1 online resource (xiv, 264 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Studies on the Semantic Web, |x 1868-1158 ; |v volume 001 | |
| 500 | |a Originally presented as the author's thesis (doctoral)--Universität Karlsruhe, 2008. | ||
| 504 | |a Includes bibliographical references (pages 249-261) and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Tile Page; Acknowledgements; Abstract; Contents; Introduction; Motivation; Research Objectives; Contributions; Research Fields; Particular Contributions; Publications; Reader's Guide; Foundations; Knowledge Representation and Reasoning; Principles of Knowledge Representation; Forms of Representing Knowledge; Reasoning about Knowledge; Logical Knowledge Representation Formalisms; Classical Model-Theoretic Semantics; Description Logics; Nonmonotonic Logics; Logic Programming; Knowledge Representation Paradigms; Open-World versus Closed-World View; Conceptual Modelling versus Rules | |
| 505 | 8 | |a Clear-Cut Predication versus MetamodellingOntologies and the Semantic Web; Ontologies in Information Systems; Notion of an Ontology; Appearance of Ontologies; Utilisation of Ontologies; Semantic Annotation in the Web; The Semantic Web Vision; Ontology Languages for the Semantic Web; OWL and Description Logics; The Web Ontology Language OWL; Syntax and Semantics; Web Aspects and RDF(S)-Compatibility; Software Support; Description Logics; Formal Syntax and Semantics; Reasoning Problems; Concrete Domains; Reasoning with OWL Ontologies; Validation; Deduction | |
| 505 | 8 | |a Nonmonotonic Reasoning in the Semantic WebNonmonotonic Description Logics; Autoepistemic Description Logics; Formal Semantics for Autoepistemic DLs; Reasoning with Epistemic Operators; Circumscriptive Description Logics; Formal Semantics for Circumscriptive DLs; Reasoning with Circumscribed Knowledge Bases; Terminological Defaults; Discussion; A Reasoning Algorithm for Circumscriptive Description Logics; Principle Idea of a Tableaux Extension; Extending DL Tableaux Calculi by Preference Clashes; Restrictions on the Formalism; Deciding Circumscriptive ALCO | |
| 505 | 8 | |a Constraint Systems and their SolvabilityTableaux Expansion Rules; Notions of Clash and Detection of Inconsistencies; Sound and Complete Reasoning in Circumscriptive ALCO; Implementation and Optimisation Issues; Prototypical Implementation; Possible Performance Optimisations; Reasoning in Rule-Based WSML; Rule-Based Inferencing and WSML; The Web Service Modeling Language; Reasoning in Rule-Based WSML; Reduction of WSML to Datalog; Ontology Transformations; WSML Semantics through Meta-Level Axioms; WSML Reasoning by Datalog Queries; Realising Datatype Reasoning; Debugging Support | |
| 505 | 8 | |a Identifying Constraint ViolationsDebugging by Meta-Level Reasoning; System Architecture and Implementation; Architecture and Internal Layering; Interface and Integration with Existing Technology; Matchmaking of Semantically Annotated Resources; Semantic Matchmaking with Description Logics; Notion of Matchmaking; Intuition; Technical Characterisation; Applications; Ontology-Based Modelling of Resources in Description Logics; Resource Classes as Description Logic Concepts; Variance and Incompleteness in Resource Descriptions; Intuitive Reading of DL-Based Descriptions | |
| 520 | |a Semantic web has grown into a mature field of research. Its methods find innovative applications on and off the World Wide Web. Its underlying technologies have significant impact on adjacent fields of research and on industrial applications. This new book series reports on the state-of-the-art in foundations, methods, and applications of semantic web and its underlying technologies. It is a central forum for the communication of recent developments and comprises research monographs, textbooks and edited volumes on all topics related to the semantic web. In this first volume several non-monoto. | ||
| 650 | 0 | |a Semantic Web. |0 http://id.loc.gov/authorities/subjects/sh2002000569 | |
| 650 | 0 | |a Description logics. |0 http://id.loc.gov/authorities/subjects/sh2002004491 | |
| 650 | 6 | |a Web sémantique. | |
| 650 | 6 | |a Logiques de description. | |
| 650 | 7 | |a TECHNOLOGY & ENGINEERING |x Mechanical. |2 bisacsh | |
| 650 | 7 | |a Description logics |2 fast | |
| 650 | 7 | |a Semantic Web |2 fast | |
| 650 | 7 | |a Matching |2 gnd | |
| 650 | 7 | |a Nichtmonotone Logik |2 gnd |0 http://d-nb.info/gnd/4278597-2 | |
| 650 | 7 | |a OWL |g Informatik |2 gnd |0 http://d-nb.info/gnd/4396527-1 | |
| 650 | 7 | |a Semantic Web |2 gnd |0 http://d-nb.info/gnd/4688372-1 | |
| 650 | 7 | |a Terminologische Logik |2 gnd |0 http://d-nb.info/gnd/4359506-6 | |
| 650 | 7 | |a Web Services |2 gnd |0 http://d-nb.info/gnd/4691234-4 | |
| 650 | 7 | |a Wissensbasis |2 gnd |0 http://d-nb.info/gnd/4289274-0 | |
| 650 | 7 | |a Wissensrepräsentation |2 gnd | |
| 650 | 0 | 7 | |a OWL (Informatik) |2 swd |
| 758 | |i has work: |a Semantic matchmaking with nonmonotonic description logics (Text) |1 https://id.oclc.org/worldcat/entity/E39PCH4tHpVFpWtrHHBgtHwdw3 |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Grimm, Stephan. |t Semantic matchmaking with nonmonotonic description logics |z 9783898386203 |w (DLC) 2009289589 |w (OCoLC)351316183 |
| 830 | 0 | |a Studies on the Semantic Web ; |v v. 001. |0 http://id.loc.gov/authorities/names/no2009156151 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=683310 |3 Volltext |
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL1589003 | ||
| 938 | |a ebrary |b EBRY |n ebr10827954 | ||
| 938 | |a EBSCOhost |b EBSC |n 683310 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis27260303 | ||
| 938 | |a YBP Library Services |b YANK |n 11560696 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn868068691 |
|---|---|
| _version_ | 1816882256195616768 |
| adam_text | |
| any_adam_object | |
| author | Grimm, Stephan |
| author_facet | Grimm, Stephan |
| author_role | |
| author_sort | Grimm, Stephan |
| author_variant | s g sg |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | T - Technology |
| callnumber-label | TK5105 |
| callnumber-raw | TK5105.88815 .G75 2009eb |
| callnumber-search | TK5105.88815 .G75 2009eb |
| callnumber-sort | TK 45105.88815 G75 42009EB |
| callnumber-subject | TK - Electrical and Nuclear Engineering |
| classification_rvk | ST 304 |
| collection | ZDB-4-EBA |
| contents | Tile Page; Acknowledgements; Abstract; Contents; Introduction; Motivation; Research Objectives; Contributions; Research Fields; Particular Contributions; Publications; Reader's Guide; Foundations; Knowledge Representation and Reasoning; Principles of Knowledge Representation; Forms of Representing Knowledge; Reasoning about Knowledge; Logical Knowledge Representation Formalisms; Classical Model-Theoretic Semantics; Description Logics; Nonmonotonic Logics; Logic Programming; Knowledge Representation Paradigms; Open-World versus Closed-World View; Conceptual Modelling versus Rules Clear-Cut Predication versus MetamodellingOntologies and the Semantic Web; Ontologies in Information Systems; Notion of an Ontology; Appearance of Ontologies; Utilisation of Ontologies; Semantic Annotation in the Web; The Semantic Web Vision; Ontology Languages for the Semantic Web; OWL and Description Logics; The Web Ontology Language OWL; Syntax and Semantics; Web Aspects and RDF(S)-Compatibility; Software Support; Description Logics; Formal Syntax and Semantics; Reasoning Problems; Concrete Domains; Reasoning with OWL Ontologies; Validation; Deduction Nonmonotonic Reasoning in the Semantic WebNonmonotonic Description Logics; Autoepistemic Description Logics; Formal Semantics for Autoepistemic DLs; Reasoning with Epistemic Operators; Circumscriptive Description Logics; Formal Semantics for Circumscriptive DLs; Reasoning with Circumscribed Knowledge Bases; Terminological Defaults; Discussion; A Reasoning Algorithm for Circumscriptive Description Logics; Principle Idea of a Tableaux Extension; Extending DL Tableaux Calculi by Preference Clashes; Restrictions on the Formalism; Deciding Circumscriptive ALCO Constraint Systems and their SolvabilityTableaux Expansion Rules; Notions of Clash and Detection of Inconsistencies; Sound and Complete Reasoning in Circumscriptive ALCO; Implementation and Optimisation Issues; Prototypical Implementation; Possible Performance Optimisations; Reasoning in Rule-Based WSML; Rule-Based Inferencing and WSML; The Web Service Modeling Language; Reasoning in Rule-Based WSML; Reduction of WSML to Datalog; Ontology Transformations; WSML Semantics through Meta-Level Axioms; WSML Reasoning by Datalog Queries; Realising Datatype Reasoning; Debugging Support Identifying Constraint ViolationsDebugging by Meta-Level Reasoning; System Architecture and Implementation; Architecture and Internal Layering; Interface and Integration with Existing Technology; Matchmaking of Semantically Annotated Resources; Semantic Matchmaking with Description Logics; Notion of Matchmaking; Intuition; Technical Characterisation; Applications; Ontology-Based Modelling of Resources in Description Logics; Resource Classes as Description Logic Concepts; Variance and Incompleteness in Resource Descriptions; Intuitive Reading of DL-Based Descriptions |
| ctrlnum | (OCoLC)868068691 |
| dewey-full | 621.38 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.38 |
| dewey-search | 621.38 |
| dewey-sort | 3621.38 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Informatik Elektrotechnik / Elektronik / Nachrichtentechnik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>07358cam a2200841 i 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn868068691</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">140114s2009 gw a ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">IDEBK</subfield><subfield code="d">EBLCP</subfield><subfield code="d">IOSPR</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">E7B</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFAG</subfield><subfield code="d">ZCU</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">JBG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">STF</subfield><subfield code="d">VTS</subfield><subfield code="d">NRAMU</subfield><subfield code="d">ICG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">INT</subfield><subfield code="d">REC</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCA</subfield><subfield code="d">TKN</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DKC</subfield><subfield code="d">OCLCO</subfield><subfield code="d">AU@</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">M8D</subfield><subfield code="d">HS0</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">K6U</subfield><subfield code="d">OCLCA</subfield><subfield code="d">AJS</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">TXE</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">UEJ</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">867821944</subfield><subfield code="a">868226404</subfield><subfield code="a">869434735</subfield><subfield code="a">874149188</subfield><subfield code="a">1055400939</subfield><subfield code="a">1066428714</subfield><subfield code="a">1081237146</subfield><subfield code="a">1228605855</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614993353</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1614993351</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1306284724</subfield><subfield code="q">(ebk)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781306284721</subfield><subfield code="q">(ebk)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9783898386203</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">3898386201</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781607500094</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1607500094</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)868068691</subfield><subfield code="z">(OCoLC)867821944</subfield><subfield code="z">(OCoLC)868226404</subfield><subfield code="z">(OCoLC)869434735</subfield><subfield code="z">(OCoLC)874149188</subfield><subfield code="z">(OCoLC)1055400939</subfield><subfield code="z">(OCoLC)1066428714</subfield><subfield code="z">(OCoLC)1081237146</subfield><subfield code="z">(OCoLC)1228605855</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">559723</subfield><subfield code="b">MIL</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">TK5105.88815</subfield><subfield code="b">.G75 2009eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">TEC</subfield><subfield code="x">009070</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">621.38</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 304</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Grimm, Stephan.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Semantic matchmaking with nonmonotonic description logics /</subfield><subfield code="c">Stephan Grimm.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg :</subfield><subfield code="b">AKA :</subfield><subfield code="b">IOS Press,</subfield><subfield code="c">[2009]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xiv, 264 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Studies on the Semantic Web,</subfield><subfield code="x">1868-1158 ;</subfield><subfield code="v">volume 001</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Originally presented as the author's thesis (doctoral)--Universität Karlsruhe, 2008.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 249-261) and index.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Tile Page; Acknowledgements; Abstract; Contents; Introduction; Motivation; Research Objectives; Contributions; Research Fields; Particular Contributions; Publications; Reader's Guide; Foundations; Knowledge Representation and Reasoning; Principles of Knowledge Representation; Forms of Representing Knowledge; Reasoning about Knowledge; Logical Knowledge Representation Formalisms; Classical Model-Theoretic Semantics; Description Logics; Nonmonotonic Logics; Logic Programming; Knowledge Representation Paradigms; Open-World versus Closed-World View; Conceptual Modelling versus Rules</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Clear-Cut Predication versus MetamodellingOntologies and the Semantic Web; Ontologies in Information Systems; Notion of an Ontology; Appearance of Ontologies; Utilisation of Ontologies; Semantic Annotation in the Web; The Semantic Web Vision; Ontology Languages for the Semantic Web; OWL and Description Logics; The Web Ontology Language OWL; Syntax and Semantics; Web Aspects and RDF(S)-Compatibility; Software Support; Description Logics; Formal Syntax and Semantics; Reasoning Problems; Concrete Domains; Reasoning with OWL Ontologies; Validation; Deduction</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Nonmonotonic Reasoning in the Semantic WebNonmonotonic Description Logics; Autoepistemic Description Logics; Formal Semantics for Autoepistemic DLs; Reasoning with Epistemic Operators; Circumscriptive Description Logics; Formal Semantics for Circumscriptive DLs; Reasoning with Circumscribed Knowledge Bases; Terminological Defaults; Discussion; A Reasoning Algorithm for Circumscriptive Description Logics; Principle Idea of a Tableaux Extension; Extending DL Tableaux Calculi by Preference Clashes; Restrictions on the Formalism; Deciding Circumscriptive ALCO</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Constraint Systems and their SolvabilityTableaux Expansion Rules; Notions of Clash and Detection of Inconsistencies; Sound and Complete Reasoning in Circumscriptive ALCO; Implementation and Optimisation Issues; Prototypical Implementation; Possible Performance Optimisations; Reasoning in Rule-Based WSML; Rule-Based Inferencing and WSML; The Web Service Modeling Language; Reasoning in Rule-Based WSML; Reduction of WSML to Datalog; Ontology Transformations; WSML Semantics through Meta-Level Axioms; WSML Reasoning by Datalog Queries; Realising Datatype Reasoning; Debugging Support</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Identifying Constraint ViolationsDebugging by Meta-Level Reasoning; System Architecture and Implementation; Architecture and Internal Layering; Interface and Integration with Existing Technology; Matchmaking of Semantically Annotated Resources; Semantic Matchmaking with Description Logics; Notion of Matchmaking; Intuition; Technical Characterisation; Applications; Ontology-Based Modelling of Resources in Description Logics; Resource Classes as Description Logic Concepts; Variance and Incompleteness in Resource Descriptions; Intuitive Reading of DL-Based Descriptions</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Semantic web has grown into a mature field of research. Its methods find innovative applications on and off the World Wide Web. Its underlying technologies have significant impact on adjacent fields of research and on industrial applications. This new book series reports on the state-of-the-art in foundations, methods, and applications of semantic web and its underlying technologies. It is a central forum for the communication of recent developments and comprises research monographs, textbooks and edited volumes on all topics related to the semantic web. In this first volume several non-monoto.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Semantic Web.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh2002000569</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Description logics.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh2002004491</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Web sémantique.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logiques de description.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">TECHNOLOGY & ENGINEERING</subfield><subfield code="x">Mechanical.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Description logics</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Semantic Web</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Matching</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Nichtmonotone Logik</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4278597-2</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">OWL</subfield><subfield code="g">Informatik</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4396527-1</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Semantic Web</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4688372-1</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Terminologische Logik</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4359506-6</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Web Services</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4691234-4</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Wissensbasis</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4289274-0</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Wissensrepräsentation</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">OWL (Informatik)</subfield><subfield code="2">swd</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Semantic matchmaking with nonmonotonic description logics (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCH4tHpVFpWtrHHBgtHwdw3</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Grimm, Stephan.</subfield><subfield code="t">Semantic matchmaking with nonmonotonic description logics</subfield><subfield code="z">9783898386203</subfield><subfield code="w">(DLC) 2009289589</subfield><subfield code="w">(OCoLC)351316183</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies on the Semantic Web ;</subfield><subfield code="v">v. 001.</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2009156151</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=683310</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL1589003</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10827954</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">683310</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">cis27260303</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">11560696</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBA-ocn868068691 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:25:43Z |
| institution | BVB |
| isbn | 9781614993353 1614993351 1306284724 9781306284721 |
| issn | 1868-1158 ; |
| language | English |
| oclc_num | 868068691 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (xiv, 264 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | AKA : IOS Press, |
| record_format | marc |
| series | Studies on the Semantic Web ; |
| series2 | Studies on the Semantic Web, |
| spelling | Grimm, Stephan. Semantic matchmaking with nonmonotonic description logics / Stephan Grimm. Heidelberg : AKA : IOS Press, [2009] ©2009 1 online resource (xiv, 264 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier Studies on the Semantic Web, 1868-1158 ; volume 001 Originally presented as the author's thesis (doctoral)--Universität Karlsruhe, 2008. Includes bibliographical references (pages 249-261) and index. Print version record. Tile Page; Acknowledgements; Abstract; Contents; Introduction; Motivation; Research Objectives; Contributions; Research Fields; Particular Contributions; Publications; Reader's Guide; Foundations; Knowledge Representation and Reasoning; Principles of Knowledge Representation; Forms of Representing Knowledge; Reasoning about Knowledge; Logical Knowledge Representation Formalisms; Classical Model-Theoretic Semantics; Description Logics; Nonmonotonic Logics; Logic Programming; Knowledge Representation Paradigms; Open-World versus Closed-World View; Conceptual Modelling versus Rules Clear-Cut Predication versus MetamodellingOntologies and the Semantic Web; Ontologies in Information Systems; Notion of an Ontology; Appearance of Ontologies; Utilisation of Ontologies; Semantic Annotation in the Web; The Semantic Web Vision; Ontology Languages for the Semantic Web; OWL and Description Logics; The Web Ontology Language OWL; Syntax and Semantics; Web Aspects and RDF(S)-Compatibility; Software Support; Description Logics; Formal Syntax and Semantics; Reasoning Problems; Concrete Domains; Reasoning with OWL Ontologies; Validation; Deduction Nonmonotonic Reasoning in the Semantic WebNonmonotonic Description Logics; Autoepistemic Description Logics; Formal Semantics for Autoepistemic DLs; Reasoning with Epistemic Operators; Circumscriptive Description Logics; Formal Semantics for Circumscriptive DLs; Reasoning with Circumscribed Knowledge Bases; Terminological Defaults; Discussion; A Reasoning Algorithm for Circumscriptive Description Logics; Principle Idea of a Tableaux Extension; Extending DL Tableaux Calculi by Preference Clashes; Restrictions on the Formalism; Deciding Circumscriptive ALCO Constraint Systems and their SolvabilityTableaux Expansion Rules; Notions of Clash and Detection of Inconsistencies; Sound and Complete Reasoning in Circumscriptive ALCO; Implementation and Optimisation Issues; Prototypical Implementation; Possible Performance Optimisations; Reasoning in Rule-Based WSML; Rule-Based Inferencing and WSML; The Web Service Modeling Language; Reasoning in Rule-Based WSML; Reduction of WSML to Datalog; Ontology Transformations; WSML Semantics through Meta-Level Axioms; WSML Reasoning by Datalog Queries; Realising Datatype Reasoning; Debugging Support Identifying Constraint ViolationsDebugging by Meta-Level Reasoning; System Architecture and Implementation; Architecture and Internal Layering; Interface and Integration with Existing Technology; Matchmaking of Semantically Annotated Resources; Semantic Matchmaking with Description Logics; Notion of Matchmaking; Intuition; Technical Characterisation; Applications; Ontology-Based Modelling of Resources in Description Logics; Resource Classes as Description Logic Concepts; Variance and Incompleteness in Resource Descriptions; Intuitive Reading of DL-Based Descriptions Semantic web has grown into a mature field of research. Its methods find innovative applications on and off the World Wide Web. Its underlying technologies have significant impact on adjacent fields of research and on industrial applications. This new book series reports on the state-of-the-art in foundations, methods, and applications of semantic web and its underlying technologies. It is a central forum for the communication of recent developments and comprises research monographs, textbooks and edited volumes on all topics related to the semantic web. In this first volume several non-monoto. Semantic Web. http://id.loc.gov/authorities/subjects/sh2002000569 Description logics. http://id.loc.gov/authorities/subjects/sh2002004491 Web sémantique. Logiques de description. TECHNOLOGY & ENGINEERING Mechanical. bisacsh Description logics fast Semantic Web fast Matching gnd Nichtmonotone Logik gnd http://d-nb.info/gnd/4278597-2 OWL Informatik gnd http://d-nb.info/gnd/4396527-1 Semantic Web gnd http://d-nb.info/gnd/4688372-1 Terminologische Logik gnd http://d-nb.info/gnd/4359506-6 Web Services gnd http://d-nb.info/gnd/4691234-4 Wissensbasis gnd http://d-nb.info/gnd/4289274-0 Wissensrepräsentation gnd OWL (Informatik) swd has work: Semantic matchmaking with nonmonotonic description logics (Text) https://id.oclc.org/worldcat/entity/E39PCH4tHpVFpWtrHHBgtHwdw3 https://id.oclc.org/worldcat/ontology/hasWork Print version: Grimm, Stephan. Semantic matchmaking with nonmonotonic description logics 9783898386203 (DLC) 2009289589 (OCoLC)351316183 Studies on the Semantic Web ; v. 001. http://id.loc.gov/authorities/names/no2009156151 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=683310 Volltext |
| spellingShingle | Grimm, Stephan Semantic matchmaking with nonmonotonic description logics / Studies on the Semantic Web ; Tile Page; Acknowledgements; Abstract; Contents; Introduction; Motivation; Research Objectives; Contributions; Research Fields; Particular Contributions; Publications; Reader's Guide; Foundations; Knowledge Representation and Reasoning; Principles of Knowledge Representation; Forms of Representing Knowledge; Reasoning about Knowledge; Logical Knowledge Representation Formalisms; Classical Model-Theoretic Semantics; Description Logics; Nonmonotonic Logics; Logic Programming; Knowledge Representation Paradigms; Open-World versus Closed-World View; Conceptual Modelling versus Rules Clear-Cut Predication versus MetamodellingOntologies and the Semantic Web; Ontologies in Information Systems; Notion of an Ontology; Appearance of Ontologies; Utilisation of Ontologies; Semantic Annotation in the Web; The Semantic Web Vision; Ontology Languages for the Semantic Web; OWL and Description Logics; The Web Ontology Language OWL; Syntax and Semantics; Web Aspects and RDF(S)-Compatibility; Software Support; Description Logics; Formal Syntax and Semantics; Reasoning Problems; Concrete Domains; Reasoning with OWL Ontologies; Validation; Deduction Nonmonotonic Reasoning in the Semantic WebNonmonotonic Description Logics; Autoepistemic Description Logics; Formal Semantics for Autoepistemic DLs; Reasoning with Epistemic Operators; Circumscriptive Description Logics; Formal Semantics for Circumscriptive DLs; Reasoning with Circumscribed Knowledge Bases; Terminological Defaults; Discussion; A Reasoning Algorithm for Circumscriptive Description Logics; Principle Idea of a Tableaux Extension; Extending DL Tableaux Calculi by Preference Clashes; Restrictions on the Formalism; Deciding Circumscriptive ALCO Constraint Systems and their SolvabilityTableaux Expansion Rules; Notions of Clash and Detection of Inconsistencies; Sound and Complete Reasoning in Circumscriptive ALCO; Implementation and Optimisation Issues; Prototypical Implementation; Possible Performance Optimisations; Reasoning in Rule-Based WSML; Rule-Based Inferencing and WSML; The Web Service Modeling Language; Reasoning in Rule-Based WSML; Reduction of WSML to Datalog; Ontology Transformations; WSML Semantics through Meta-Level Axioms; WSML Reasoning by Datalog Queries; Realising Datatype Reasoning; Debugging Support Identifying Constraint ViolationsDebugging by Meta-Level Reasoning; System Architecture and Implementation; Architecture and Internal Layering; Interface and Integration with Existing Technology; Matchmaking of Semantically Annotated Resources; Semantic Matchmaking with Description Logics; Notion of Matchmaking; Intuition; Technical Characterisation; Applications; Ontology-Based Modelling of Resources in Description Logics; Resource Classes as Description Logic Concepts; Variance and Incompleteness in Resource Descriptions; Intuitive Reading of DL-Based Descriptions Semantic Web. http://id.loc.gov/authorities/subjects/sh2002000569 Description logics. http://id.loc.gov/authorities/subjects/sh2002004491 Web sémantique. Logiques de description. TECHNOLOGY & ENGINEERING Mechanical. bisacsh Description logics fast Semantic Web fast Matching gnd Nichtmonotone Logik gnd http://d-nb.info/gnd/4278597-2 OWL Informatik gnd http://d-nb.info/gnd/4396527-1 Semantic Web gnd http://d-nb.info/gnd/4688372-1 Terminologische Logik gnd http://d-nb.info/gnd/4359506-6 Web Services gnd http://d-nb.info/gnd/4691234-4 Wissensbasis gnd http://d-nb.info/gnd/4289274-0 Wissensrepräsentation gnd OWL (Informatik) swd |
| subject_GND | http://id.loc.gov/authorities/subjects/sh2002000569 http://id.loc.gov/authorities/subjects/sh2002004491 http://d-nb.info/gnd/4278597-2 http://d-nb.info/gnd/4396527-1 http://d-nb.info/gnd/4688372-1 http://d-nb.info/gnd/4359506-6 http://d-nb.info/gnd/4691234-4 http://d-nb.info/gnd/4289274-0 |
| title | Semantic matchmaking with nonmonotonic description logics / |
| title_auth | Semantic matchmaking with nonmonotonic description logics / |
| title_exact_search | Semantic matchmaking with nonmonotonic description logics / |
| title_full | Semantic matchmaking with nonmonotonic description logics / Stephan Grimm. |
| title_fullStr | Semantic matchmaking with nonmonotonic description logics / Stephan Grimm. |
| title_full_unstemmed | Semantic matchmaking with nonmonotonic description logics / Stephan Grimm. |
| title_short | Semantic matchmaking with nonmonotonic description logics / |
| title_sort | semantic matchmaking with nonmonotonic description logics |
| topic | Semantic Web. http://id.loc.gov/authorities/subjects/sh2002000569 Description logics. http://id.loc.gov/authorities/subjects/sh2002004491 Web sémantique. Logiques de description. TECHNOLOGY & ENGINEERING Mechanical. bisacsh Description logics fast Semantic Web fast Matching gnd Nichtmonotone Logik gnd http://d-nb.info/gnd/4278597-2 OWL Informatik gnd http://d-nb.info/gnd/4396527-1 Semantic Web gnd http://d-nb.info/gnd/4688372-1 Terminologische Logik gnd http://d-nb.info/gnd/4359506-6 Web Services gnd http://d-nb.info/gnd/4691234-4 Wissensbasis gnd http://d-nb.info/gnd/4289274-0 Wissensrepräsentation gnd OWL (Informatik) swd |
| topic_facet | Semantic Web. Description logics. Web sémantique. Logiques de description. TECHNOLOGY & ENGINEERING Mechanical. Description logics Semantic Web Matching Nichtmonotone Logik OWL Informatik Terminologische Logik Web Services Wissensbasis Wissensrepräsentation OWL (Informatik) |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=683310 |
| work_keys_str_mv | AT grimmstephan semanticmatchmakingwithnonmonotonicdescriptionlogics |