The Resource Semantic matchmaking with nonmonotonic description logics, Stephan Grimm
Semantic matchmaking with nonmonotonic description logics, Stephan Grimm
Resource Information
The item Semantic matchmaking with nonmonotonic description logics, Stephan Grimm represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Missouri University of Science & Technology Library.This item is available to borrow from 1 library branch.
Resource Information
The item Semantic matchmaking with nonmonotonic description logics, Stephan Grimm represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Missouri University of Science & Technology Library.
This item is available to borrow from 1 library branch.
- Summary
- 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
- Language
- eng
- Extent
- 1 online resource (xiv, 264 pages)
- Note
- Originally presented as the author's thesis (doctoral)--Universität Karlsruhe, 2008
- 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
- Isbn
- 9781306284721
- Label
- Semantic matchmaking with nonmonotonic description logics
- Title
- Semantic matchmaking with nonmonotonic description logics
- Statement of responsibility
- Stephan Grimm
- Language
- eng
- Summary
- 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
- Cataloging source
- N$T
- http://library.link/vocab/creatorName
- Grimm, Stephan
- Dewey number
- 621.38
- Illustrations
- illustrations
- Index
- index present
- LC call number
- TK5105.88815
- LC item number
- .G75 2009eb
- Literary form
- non fiction
- Nature of contents
-
- dictionaries
- bibliography
- Series statement
- Studies on the Semantic Web,
- Series volume
- volume 001
- http://library.link/vocab/subjectName
-
- Semantic Web
- Description logics
- TECHNOLOGY & ENGINEERING
- Description logics
- Semantic Web
- Matching
- Nichtmonotone Logik
- OWL
- Semantic Web
- Terminologische Logik
- Web Services
- Wissensbasis
- Wissensrepräsentation
- Label
- Semantic matchmaking with nonmonotonic description logics, Stephan Grimm
- Note
- Originally presented as the author's thesis (doctoral)--Universität Karlsruhe, 2008
- Antecedent source
- unknown
- Bibliography note
- Includes bibliographical references (pages 249-261) and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- 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
- Control code
- 868068691
- Dimensions
- unknown
- Extent
- 1 online resource (xiv, 264 pages)
- File format
- unknown
- Form of item
- online
- Isbn
- 9781306284721
- Level of compression
- unknown
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other physical details
- illustrations
- http://library.link/vocab/ext/overdrive/overdriveId
- 559723
- Quality assurance targets
- not applicable
- Reformatting quality
- unknown
- Sound
- unknown sound
- Specific material designation
- remote
- System control number
- (OCoLC)868068691
- Label
- Semantic matchmaking with nonmonotonic description logics, Stephan Grimm
- Note
- Originally presented as the author's thesis (doctoral)--Universität Karlsruhe, 2008
- Antecedent source
- unknown
- Bibliography note
- Includes bibliographical references (pages 249-261) and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- 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
- Control code
- 868068691
- Dimensions
- unknown
- Extent
- 1 online resource (xiv, 264 pages)
- File format
- unknown
- Form of item
- online
- Isbn
- 9781306284721
- Level of compression
- unknown
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other physical details
- illustrations
- http://library.link/vocab/ext/overdrive/overdriveId
- 559723
- Quality assurance targets
- not applicable
- Reformatting quality
- unknown
- Sound
- unknown sound
- Specific material designation
- remote
- System control number
- (OCoLC)868068691
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.mst.edu/portal/Semantic-matchmaking-with-nonmonotonic/FrnzQYJc10Y/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.mst.edu/portal/Semantic-matchmaking-with-nonmonotonic/FrnzQYJc10Y/">Semantic matchmaking with nonmonotonic description logics, Stephan Grimm</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.mst.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.mst.edu/">Missouri University of Science & Technology Library</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Semantic matchmaking with nonmonotonic description logics, Stephan Grimm
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.mst.edu/portal/Semantic-matchmaking-with-nonmonotonic/FrnzQYJc10Y/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.mst.edu/portal/Semantic-matchmaking-with-nonmonotonic/FrnzQYJc10Y/">Semantic matchmaking with nonmonotonic description logics, Stephan Grimm</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.mst.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.mst.edu/">Missouri University of Science & Technology Library</a></span></span></span></span></div>