LEADER 02086nam2 2200457 450 001 000011272 005 20070503173200.0 010 $a3-11-007676-4$b(F.1) 010 $a3-11-016183-4$b(F.3) 100 $a20020723d1981----km-y0itay0103----ba 101 0 $agre$alat 102 $aDE 200 1 $aInscriptiones Atticae Euclidis anno anteriores$fconsilio et auctoritate academiae scientiarum Rei publicae democraticae Germanicae editae$g[poi] consilio et auctoritate Academiae scientiarum Berolinensis et Brandeburgensis editae$v1 200 1 $a1 $n0002572 205 $aEditio tertia 210 $aBerolini$c<> de Gruyter et socii$d1981- 215 $av.$d36 cm. 327 $a1 : Decreta et tabulae magistratuum / edidit David Lewis. - 1981. - XI, 488 p.$a3 : Indices / composuerunt David Lewis, Eberhard Erxleben, Klaus Hallof. - 1998. - P. 100-1167 461 $1001000011271$12001$aInscriptiones Graecae 559 $aDecreta et tabulae magistratuum 559 $aIndices 676 $a481$v(20. ed.)$9Greco classico. Codice scritto e orale 702 1$aLewis,$bDavid 702 1$aErxleben,$bEberhard 702 1$aHallof,$bKlaus 801 0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc 912 $a000011272 996 $aInscriptiones Atticae Euclidis anno anteriores$978882 997 $aUNIBAS BAS $aLETTERE CAT $aDILEO$b20$c20020723$lBAS01$h1251 CAT $aDILEO$b20$c20020723$lBAS01$h1254 CAT $c20050601$lBAS01$h1754 CAT $abatch$b01$c20050718$lBAS01$h1051 CAT $c20050718$lBAS01$h1110 CAT $c20050718$lBAS01$h1140 CAT $c20050718$lBAS01$h1154 CAT $aBATCH$b00$c20070503$lBAS01$h1732 FMT Z30 -1$lBAS01$LBAS01$mBOOK$1BASA1$APolo Storico-Umanistico$2GEN$BCollezione generale$3FG/96716$696716$5L96716$820020723$b1$c1$f02$FPrestabile Generale$h1.1 : Decreta et tabulae magistratuum Z30 -1$lBAS01$LBAS01$mBOOK$1BASA1$APolo Storico-Umanistico$2GEN$BCollezione generale$3FG/96717$696717$5L96717$820020723$b1$c3$f02$FPrestabile Generale$h1.3 : Indices LEADER 07061nam 22009015 450 001 9910484684003321 005 20251226200612.0 010 $a1-280-94389-0 010 $a9786610943890 010 $a3-540-72982-8 024 7 $a10.1007/978-3-540-72982-2 035 $a(CKB)1000000000491091 035 $a(EBL)3061567 035 $a(SSID)ssj0000313039 035 $a(PQKBManifestationID)11220219 035 $a(PQKBTitleCode)TC0000313039 035 $a(PQKBWorkID)10332543 035 $a(PQKB)10736288 035 $a(DE-He213)978-3-540-72982-2 035 $a(MiAaPQ)EBC3061567 035 $a(MiAaPQ)EBC6708668 035 $a(Au-PeEL)EBL6708668 035 $a(PPN)123162874 035 $a(BIP)14225466 035 $a(EXLCZ)991000000000491091 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aWeb Reasoning and Rule Systems $eFirst International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings /$fedited by Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (392 p.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v4524 300 $a"1st International Conference on Web Reasoning and Rule Systems (RR2007)"--Pref. 300 $a"RR 2007 brought together three previously separate events: the International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR), the International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML), and the International Workshop on Reasoning on the Web (RoW)"--Pref. 311 08$a3-540-72981-X 320 $aIncludes bibliographical references and index. 327 $aI 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. 330 $aThis book constitutes the refereed proceedings of the First International Conference on Web Reasoning and Rule Systems, RR 2007, held in Innsbruck, Austria in June 2007 as a merger of the three previously separate events: International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR), the International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML), and the International Workshop on Reasoning on the Web (RoW). The 14 revised full papers, 15 revised short papers presented together with 7 poster papers were carefully reviewed and selected from over 60 submissions. The papers address all current topics in Web reasoning and rule systems such as acquisition of rules and ontologies by knowledge extraction, design and analysis of reasoning languages, implemented tools and systems, standardization, ontology usability, ontology languages and their relationships, rules and ontologies, reasoning with uncertainty, reasoning with constraints, rule languages and systems, semantic Web services modeling and applications. 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v4524 606 $aApplication software 606 $aInformation storage and retrieval systems 606 $aArtificial intelligence 606 $aComputer science 606 $aMultimedia systems 606 $aSoftware engineering 606 $aComputer and Information Systems Applications 606 $aInformation Storage and Retrieval 606 $aArtificial Intelligence 606 $aComputer Science Logic and Foundations of Programming 606 $aMultimedia Information Systems 606 $aSoftware Engineering 615 0$aApplication software. 615 0$aInformation storage and retrieval systems. 615 0$aArtificial intelligence. 615 0$aComputer science. 615 0$aMultimedia systems. 615 0$aSoftware engineering. 615 14$aComputer and Information Systems Applications. 615 24$aInformation Storage and Retrieval. 615 24$aArtificial Intelligence. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aMultimedia Information Systems. 615 24$aSoftware Engineering. 676 $a006.3 702 $aPan$b Jeff Z. 702 $aMarchiori$b M$g(Massimo), 702 $aSainte Marie$b Christian de 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484684003321 996 $aWeb Reasoning and Rule Systems$9772669 997 $aUNINA