LEADER 05805nam 22008175 450 001 9910144213203321 005 20200706130044.0 010 $a3-540-39715-9 024 7 $a10.1007/b94129 035 $a(CKB)1000000000212248 035 $a(SSID)ssj0000326419 035 $a(PQKBManifestationID)11264640 035 $a(PQKBTitleCode)TC0000326419 035 $a(PQKBWorkID)10267488 035 $a(PQKB)11432898 035 $a(DE-He213)978-3-540-39715-1 035 $a(MiAaPQ)EBC3088517 035 $a(PPN)155197398 035 $a(EXLCZ)991000000000212248 100 $a20121227d2003 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aRules and Rule Markup Languages for the Semantic Web $eSecond International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003, Proceedings /$fedited by Michael Schroeder, Gerd Wagner 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (VIII, 180 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2876 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-20361-3 320 $aIncludes bibliographical references and index. 327 $aObject-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms -- An Entailment Relation for Reasoning on the Web -- A Rule-Based XML Access Control Model -- Inference of Reactive Rules from Dependency Models -- Value-Added Metatagging: Ontology and Rule Based Methods for Smarter Metadata -- Constructing RuleML-Based Domain Theories on Top of OWL Ontologies -- Inheritance and Rules in Object-Oriented Semantic Web Languages -- Rules and Defeasible Reasoning on the Semantic Web -- Inference Queues for Communicating and Monitoring Declarative Information between Web Services -- Combining an Inference Engine with Databases: A Rule Server -- Extraction of Structured Rules from Web Pages and Maintenance of Mutual Consistency: XRML Approach -- RuleML Annotation for Automatic Collection Levels on METS Metadata. 330 $aRuleML 2003 was the second international workshop on rules and rule markup languages for the Semantic Web, held in conjunction with the International Semantic Web Conference (ISWC). The aim of the RuleML workshop series is to stimulate research on all issues related to web rule languages and to provide an annual forum for presenting and discussing new research results. The Semantic Web is a major world-wide endeavor to advance the Web by enriching its multimedia document content with propositional information that can be processed by inference-enabled Web applications. Rules and rule markup languages, such as RuleML, will play an important role in the success of the Semantic Web. Rules will act as a means to draw inferences, to express constraints,tospecifypoliciesforreactingtoevents,totransformdata,etc.Rule markup languages will allow us to enrich Web ontologies by adding de?nitions of derived concepts, to publish rules on the Web, to exchange rules between di?erent systems and tools, etc. RuleML 2003 built on the success of RuleML 2002, which was held in c- junction with ISWC 2002, Sardinia, Italy. The proceedings of RuleML 2002 can be found at http://www.ceur-ws.org/Vol-60/. Special highlights of the RuleML 2003 workshop were the two invited pres- tationsgivenbyPeterChenon?Rules,XML,andtheERModel?andbyHarold Boley on ?Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms?. This proceedings volume also contains an invited - per by Francois ¸ Bry and Sebastian Scha?ert on ?An Entailment Relation for Reasoning on the Web?. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2876 606 $aComputer programming 606 $aApplication software 606 $aComputer communication systems 606 $aComputer logic 606 $aInformation storage and retrieval 606 $aArtificial intelligence 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aComputer programming. 615 0$aApplication software. 615 0$aComputer communication systems. 615 0$aComputer logic. 615 0$aInformation storage and retrieval. 615 0$aArtificial intelligence. 615 14$aProgramming Techniques. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aComputer Communication Networks. 615 24$aLogics and Meanings of Programs. 615 24$aInformation Storage and Retrieval. 615 24$aArtificial Intelligence. 676 $a006.74 702 $aSchroeder$b Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWagner$b Gerd$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aRuleML 2003 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910144213203321 996 $aRules and Rule Markup Languages for the Semantic Web$9773124 997 $aUNINA