Coverart for item
The Resource Reasoning web : semantic technologies for software engineering : 6th international summer school 2010, Dresden, Germany, August 30-September 3, 2010, tutorial lectures, Uwe Aßmann, Andreas Bartho, Christian Wende (eds.)

Reasoning web : semantic technologies for software engineering : 6th international summer school 2010, Dresden, Germany, August 30-September 3, 2010, tutorial lectures, Uwe Aßmann, Andreas Bartho, Christian Wende (eds.)

Label
Reasoning web : semantic technologies for software engineering : 6th international summer school 2010, Dresden, Germany, August 30-September 3, 2010, tutorial lectures
Title
Reasoning web
Title remainder
semantic technologies for software engineering : 6th international summer school 2010, Dresden, Germany, August 30-September 3, 2010, tutorial lectures
Statement of responsibility
Uwe Aßmann, Andreas Bartho, Christian Wende (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
The Semantic Web aims at enriching the existing Web with meta-data and processing methods so as to provide web-based systems with advanced capabilities, in particular with context awareness and decision support. The objective of this book is to provide a coherent introduction to semantic web methods and research issues with a particular emphasis on reasoning. This year's Summer School on Reasoning Web focused on applications of semantic technologies in software engineering and the reasoning technologies appropriate for such an endeavor with an emphasis on description logics (DL) as reasoning formalisms for the Semantic Web, ontologies and domain specific languages as a means for modeling, process semantics for process refinement and grounding as well as semantic query languages. The volume contains a collection of six thoroughly revised tutorial papers based on lectures given by leading researchers
Member of
Cataloging source
GW5XE
Dewey number
005.1
Illustrations
illustrations
Index
index present
LC call number
QA76.758
LC item number
I58 2010
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2010
http://bibfra.me/vocab/lite/meetingName
Summer School on Reasoning Web
Nature of contents
  • dictionaries
  • bibliography
NLM call number
QA76.758
http://library.link/vocab/relatedWorkOrContributorDate
1963-
http://library.link/vocab/relatedWorkOrContributorName
  • Assmann, Uwe
  • Bartho, Andreas
  • Wende, Christian
Series statement
  • Lecture Notes in Computer Science
  • LNCS sublibrary. SL 3, Information Systems and Application, incl. Internet/Web and HCI
Series volume
6325
http://library.link/vocab/subjectName
  • Software engineering
  • Semantic computing
  • Computer logic
  • Computing Methdologies
  • Logic
  • Semantics
  • Informatique
  • Computer logic
  • Semantic computing
  • Software engineering
  • Terminologische Logik
  • OWL
  • Abfragesprache
  • Wissensverarbeitung
  • Modellgetriebene Entwicklung
  • Ontologie
  • Semantic Web
  • Dresden <2010>
Label
Reasoning web : semantic technologies for software engineering : 6th international summer school 2010, Dresden, Germany, August 30-September 3, 2010, tutorial lectures, Uwe Aßmann, Andreas Bartho, Christian Wende (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references 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
Reasoning and Explanation in and in Expressive Description Logics -- Hybrid Reasoning with Non-monotonic Rules -- Model Driven Engineering with Ontology Technologies -- Combining Ontologies with Domain Specific Languages: A Case Study from Network Configuration Software -- Bridging Query Languages in Semantic and Graph Technologies -- Semantic Business Process Engineering
Control code
668096818
Dimensions
unknown
Extent
1 online resource (vii, 181 pages)
Form of item
online
Isbn
9783642155420
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-15543-7
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-642-15542-0
Specific material designation
remote
System control number
(OCoLC)668096818
Label
Reasoning web : semantic technologies for software engineering : 6th international summer school 2010, Dresden, Germany, August 30-September 3, 2010, tutorial lectures, Uwe Aßmann, Andreas Bartho, Christian Wende (eds.)
Publication
Bibliography note
Includes bibliographical references 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
Reasoning and Explanation in and in Expressive Description Logics -- Hybrid Reasoning with Non-monotonic Rules -- Model Driven Engineering with Ontology Technologies -- Combining Ontologies with Domain Specific Languages: A Case Study from Network Configuration Software -- Bridging Query Languages in Semantic and Graph Technologies -- Semantic Business Process Engineering
Control code
668096818
Dimensions
unknown
Extent
1 online resource (vii, 181 pages)
Form of item
online
Isbn
9783642155420
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-15543-7
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-642-15542-0
Specific material designation
remote
System control number
(OCoLC)668096818

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...