Web reasoning and rule systems : (Record no. 376913)

MARC details
000 -LEADER
fixed length control field 07336cam a2201033Ia 4500
001 - CONTROL NUMBER
control field ocn184905148
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20211230132534.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cn|||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 071219s2007 gw a ob 101 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency GW5XE
Language of cataloging eng
Description conventions pn
Transcribing agency GW5XE
Modifying agency GW5XE
-- OCLCQ
-- GZM
-- STF
-- HNK
-- UAB
-- E7B
-- UBC
-- MND
-- IDEBK
-- YNG
-- OCLCO
-- OCLCA
-- OCLCQ
-- OCLCF
-- BEDGE
-- OCLCQ
-- COO
-- OCLCO
-- YDXCP
-- OCLCQ
-- OCLCO
-- OCL
-- OCLCO
-- EBLCP
-- DEBSZ
-- OCLCO
-- OCLCQ
-- OCLCO
-- OCLCQ
-- ESU
-- OCLCQ
-- U3W
-- OCLCQ
-- TFW
-- OCLCQ
-- WYU
-- ICG
-- LEAUB
-- OCLCQ
-- OL$
-- OCLCQ
-- WURST
-- OCLCQ
-- EUX
-- OCLCQ
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 98406804X
Source DE-101
019 ## -
-- 154223378
-- 154948849
-- 228381497
-- 607333972
-- 613624058
-- 648312029
-- 729905898
-- 767239737
-- 814502984
-- 1035663751
-- 1167532397
-- 1238453048
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540729822
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540729828
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540729815
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 354072981X
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 1280943890
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781280943898
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000042372946
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000051347925
029 1# - (OCLC)
OCLC library identifier DEBSZ
System control number 449598462
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 11498503
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)184905148
Canceled/invalid control number (OCoLC)154223378
-- (OCoLC)154948849
-- (OCoLC)228381497
-- (OCoLC)607333972
-- (OCoLC)613624058
-- (OCoLC)648312029
-- (OCoLC)729905898
-- (OCoLC)767239737
-- (OCoLC)814502984
-- (OCoLC)1035663751
-- (OCoLC)1167532397
-- (OCoLC)1238453048
037 ## - SOURCE OF ACQUISITION
Stock number 978-3-540-72981-5
Source of stock number/acquisition Springer
Note http://www.springerlink.com
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.63
Item number .I56 2007eb
072 #7 - SUBJECT CATEGORY CODE
Subject category code TK
Source lcco
072 #7 - SUBJECT CATEGORY CODE
Subject category code GLF
Source bicssc
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1/15
Edition number 22
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element RR (Conference)
Number of part/section/meeting (1st :
Date of meeting 2007 :
Location of meeting Innsbruck, Austria)
9 (RLIN) 22048
245 10 - TITLE STATEMENT
Title Web reasoning and rule systems :
Remainder of title first international conference, RR 2007, Innsbruck, Austria, June 7-8, 2007 : proceedings /
Statement of responsibility, etc. Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie (eds.).
246 30 - VARYING FORM OF TITLE
Title proper/short title RR 2007
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin ;
-- New York :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. ©2007.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xi, 382 pages) :
Other physical details illustrations
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science,
International Standard Serial Number 0302-9743 ;
Volume/sequential designation 4524
490 ## - SERIES STATEMENT
Series statement Serienbezeichnung
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
588 0# - SOURCE OF DESCRIPTION NOTE
Source of description note Print version record.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note I FullPapers -- Well-Founded Semantics for Hybrid Rules -- Rule-Based Composite Event Queries: The Language XChangeEQ and Its Semantics -- On the Semantics of Service Compositions -- Expressive Reasoning with Horn Rules and Fuzzy Description Logics -- Quantified Equilibrium Logic and Hybrid Rules -- Web Services Discovery and Constraints Composition -- Ontological Reasoning to Configure Emotional Voice Synthesis -- A Semantic Framework for Language Layering in WSML -- Merging Model Driven Architecture and Semantic Web for Business Rules Generation -- A Framework for Combining Rules and Geo-ontologies -- Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racer -- : An Integration of Description Logic and General Rules -- Evaluating Formalisms for Modular Ontologies in Distributed Information Systems -- Consistent Query Answering over Description Logic Ontologies -- II Short Papers -- A Context-Based Architecture for RDF Knowledge Bases: Approach, Implementation and Preliminary Results -- Towards a Hybrid System Using an Ontology Enriched by Rules for the Semantic Annotation of Brain MRI Images -- A Framework for Ontology Based Rule Acquisition from Web Documents -- A Fast Algebraic Web Verification Service -- Proof Explanation in the DR-DEVICE System -- Rule-Based Active Domain Brokering for the Semantic Web -- Decidability Under the Well-Founded Semantics -- A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services -- Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web -- AceRules: Executing Rules in Controlled Natural Language -- Bridging Concrete and Abstract Syntax of Web Rule Languages -- Completing Queries: Rewriting of Incomplete Web Queries Under Schema Constraints -- Attaining Higher Quality for Density Based Algorithms -- Correlation Rules and Ontologies Acquisition in Knowledge Extraction of Image -- Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics -- III Selected Posters -- Extending SWRL to Enhance Mathematical Support -- Efficiently Querying Relational Databases Using OWL and SWRL -- Top-Down Computation of the Semantics of Weighted Fuzzy Logic Programs -- A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data -- Efficient OWL Reasoning with Logic Programs -- Evaluations -- Reasoning About XML Schema Mappings in the Presence of Key Constraints and Value Dependencies -- Context in Rules Used in P2P Semantic Data Integration System.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Semantic Web
Form subdivision Congresses.
9 (RLIN) 16481
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Programming languages (Electronic computers)
General subdivision Semantics
Form subdivision Congresses.
9 (RLIN) 14958
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Rule-based programming
Form subdivision Congresses.
9 (RLIN) 22049
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Ontologies (Information retrieval)
Form subdivision Congresses.
9 (RLIN) 21955
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic programming
Form subdivision Congresses.
9 (RLIN) 14819
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Expert systems (Computer science)
Form subdivision Congresses.
9 (RLIN) 925577
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Informatique.
Source of heading or term eclas
9 (RLIN) 14930
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Expert systems (Computer science)
Source of heading or term fast
Authority record control number (OCoLC)fst00918516
9 (RLIN) 10918
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic programming.
Source of heading or term fast
Authority record control number (OCoLC)fst01002056
9 (RLIN) 6178
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Ontologies (Information retrieval)
Source of heading or term fast
Authority record control number (OCoLC)fst01739863
9 (RLIN) 21956
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Programming languages (Electronic computers)
General subdivision Semantics.
Source of heading or term fast
Authority record control number (OCoLC)fst01078716
9 (RLIN) 14960
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Rule-based programming.
Source of heading or term fast
Authority record control number (OCoLC)fst01101232
9 (RLIN) 22051
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Semantic Web.
Source of heading or term fast
Authority record control number (OCoLC)fst01112076
9 (RLIN) 16487
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term informatieontsluiting
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term information retrieval
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term informatieopslag
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term information storage
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term informatiesystemen
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term information systems
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term internet
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term massamedia
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term mass media
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computerwetenschappen
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computer sciences
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term kunstmatige intelligentie
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term artificial intelligence
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term software engineering
653 10 - INDEX TERM--UNCONTROLLED
Uncontrolled term Information and Communication Technology (General)
653 10 - INDEX TERM--UNCONTROLLED
Uncontrolled term Informatie- en communicatietechnologie (algemeen)
655 #0 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
9 (RLIN) 396
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
9 (RLIN) 396
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings.
Source of term fast
Authority record control number (OCoLC)fst01423772
9 (RLIN) 6065
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Marchiori, M.
Fuller form of name (Massimo)
9 (RLIN) 22052
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Pan, Jeff Z.
9 (RLIN) 22053
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Sainte Marie, Christian de.
9 (RLIN) 22054
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading RR 2007 (2007 : Innsbruck, Austria).
Title Web reasoning and rule systems.
Place, publisher, and date of publication Berlin ; New York : Springer, ©2007
International Standard Book Number 9783540729815
-- 354072981X
Record control number (DLC) 2007927817
-- (OCoLC)143609478
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 4524.
International Standard Serial Number 0302-9743
9 (RLIN) 925578
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link-springer-com.libraryproxy.ist.ac.at/10.1007/978-3-540-72982-2">https://link-springer-com.libraryproxy.ist.ac.at/10.1007/978-3-540-72982-2</a>
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL6708668
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL3061567
938 ## -
-- ebrary
-- EBRY
-- ebr10187630
938 ## -
-- ProQuest MyiLibrary Digital eBook Collection
-- IDEB
-- 94389
938 ## -
-- YBP Library Services
-- YANK
-- 2905850
994 ## -
-- 92
-- ATIST
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
  Not Lost     EBook e-Library e-Library 26/06/2020   26/06/2020 26/06/2020 eBook

Powered by Koha