skip to content
Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings Preview this item
ClosePreview this item
Checking...

Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings

Author: Massimo Marchiori; Christian De Sainte Marie; Jeff Z Pan
Publisher: Berlin Heidelberg Springer-Verlag GmbH 2007
Series: Lecture notes in computer science, 4524.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

It address all current topics in Web reasoning and rule systems, including acquisition of rules and ontologies by knowledge extraction, design and analysis of reasoning languages, reasoning with  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Congressen (vorm)
Additional Physical Format: Web reasoning and rule systems
(NL-LeOCL)303571993
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Massimo Marchiori; Christian De Sainte Marie; Jeff Z Pan
ISBN: 9783540729822 3540729828 354072981X 9783540729815
OCLC Number: 901648000
Description: xi, 382 p. : ill. ; 24 cm
Contents: 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.
Series Title: Lecture notes in computer science, 4524.
Responsibility: Massimo Marchiori [aut]; Christian de Sainte Marie [aut]; Jeff Z. Pan [aut]

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/901648000> # Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "901648000" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/906165757#Place/berlin_heidelberg> ; # Berlin Heidelberg
   schema:about <http://experiment.worldcat.org/entity/work/data/906165757#Topic/multimedia> ; # multimedia
   schema:about <http://experiment.worldcat.org/entity/work/data/906165757#Topic/informatiesystemen> ; # informatiesystemen
   schema:about <http://experiment.worldcat.org/entity/work/data/906165757#Topic/computer_automation> ; # Computer. Automation
   schema:about <http://experiment.worldcat.org/entity/work/data/906165757#Topic/programmeren_informatica> ; # programmeren (informatica)
   schema:about <http://experiment.worldcat.org/entity/work/data/906165757#Topic/semantisch_web> ; # Semantisch web
   schema:about <http://experiment.worldcat.org/entity/work/data/906165757#Topic/software_engineering> ; # software engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/906165757#Topic/artificial_intelligence_robotics_simulation_graphics> ; # Artificial intelligence. Robotics. Simulation. Graphics
   schema:about <http://experiment.worldcat.org/entity/work/data/906165757#Topic/ict_informatie_en_communicatietechnieken> ; # ICT (informatie- en communicatietechnieken)
   schema:about <http://experiment.worldcat.org/entity/work/data/906165757#Topic/robots> ; # robots
   schema:about <http://experiment.worldcat.org/entity/work/data/906165757#Topic/computer_science> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/906165757#Topic/ir_information_retrieval> ; # IR (information retrieval)
   schema:about <http://experiment.worldcat.org/entity/work/data/906165757#Topic/information_systems> ; # Information systems
   schema:author <http://experiment.worldcat.org/entity/work/data/906165757#Person/pan_jeff_z> ; # Jeff Z. Pan
   schema:author <http://experiment.worldcat.org/entity/work/data/906165757#Person/de_sainte_marie_christian> ; # Christian De Sainte Marie
   schema:author <http://experiment.worldcat.org/entity/work/data/906165757#Person/marchiori_massimo> ; # Massimo Marchiori
   schema:bookFormat bgn:PrintBook ;
   schema:datePublished "2007" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/906165757> ;
   schema:genre "Congressen (vorm)" ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/906165757#CreativeWork/web_reasoning_and_rule_systems> ;
   schema:name "Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings" ;
   schema:numberOfPages "382" ;
   schema:productID "901648000" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/901648000#PublicationEvent/berlin_heidelbergspringer_verlag_gmbh2007> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/906165757#Agent/springer_verlag_gmbh> ; # Springer-Verlag GmbH
   schema:url <http://dx.doi.org/10.1007/978-3-540-72982-2> ;
   schema:workExample <http://worldcat.org/isbn/9783540729822> ;
   schema:workExample <http://worldcat.org/isbn/9783540729815> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/901648000> ;
    .


Related Entities

<http://dx.doi.org/10.1007/978-3-540-72982-2>
   rdfs:comment "Toegang via de bibliotheken van de Karel de Grote Hogeschool" ;
   rdfs:comment "Toegang via de bibliotheken van de Artesis Plantijn Hogeschool" ;
    .

<http://experiment.worldcat.org/entity/work/data/906165757#Agent/springer_verlag_gmbh> # Springer-Verlag GmbH
    a bgn:Agent ;
   schema:name "Springer-Verlag GmbH" ;
    .

<http://experiment.worldcat.org/entity/work/data/906165757#Person/de_sainte_marie_christian> # Christian De Sainte Marie
    a schema:Person ;
   schema:familyName "De Sainte Marie" ;
   schema:givenName "Christian" ;
   schema:name "Christian De Sainte Marie" ;
    .

<http://experiment.worldcat.org/entity/work/data/906165757#Person/marchiori_massimo> # Massimo Marchiori
    a schema:Person ;
   schema:familyName "Marchiori" ;
   schema:givenName "Massimo" ;
   schema:name "Massimo Marchiori" ;
    .

<http://experiment.worldcat.org/entity/work/data/906165757#Person/pan_jeff_z> # Jeff Z. Pan
    a schema:Person ;
   schema:familyName "Pan" ;
   schema:givenName "Jeff Z." ;
   schema:name "Jeff Z. Pan" ;
    .

<http://experiment.worldcat.org/entity/work/data/906165757#Place/berlin_heidelberg> # Berlin Heidelberg
    a schema:Place ;
   schema:name "Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/906165757#Topic/artificial_intelligence_robotics_simulation_graphics> # Artificial intelligence. Robotics. Simulation. Graphics
    a schema:Intangible ;
   schema:name "Artificial intelligence. Robotics. Simulation. Graphics" ;
    .

<http://experiment.worldcat.org/entity/work/data/906165757#Topic/computer_automation> # Computer. Automation
    a schema:Intangible ;
   schema:name "Computer. Automation" ;
    .

<http://experiment.worldcat.org/entity/work/data/906165757#Topic/ict_informatie_en_communicatietechnieken> # ICT (informatie- en communicatietechnieken)
    a schema:Intangible ;
   schema:name "ICT (informatie- en communicatietechnieken)" ;
    .

<http://experiment.worldcat.org/entity/work/data/906165757#Topic/information_systems> # Information systems
    a schema:Intangible ;
   schema:name "Information systems" ;
    .

<http://experiment.worldcat.org/entity/work/data/906165757#Topic/ir_information_retrieval> # IR (information retrieval)
    a schema:Intangible ;
   schema:name "IR (information retrieval)" ;
    .

<http://experiment.worldcat.org/entity/work/data/906165757#Topic/programmeren_informatica> # programmeren (informatica)
    a schema:Intangible ;
   schema:name "programmeren (informatica)" ;
    .

<http://experiment.worldcat.org/entity/work/data/906165757#Topic/software_engineering> # software engineering
    a schema:Intangible ;
   schema:name "software engineering" ;
    .

<http://worldcat.org/entity/work/data/906165757#CreativeWork/web_reasoning_and_rule_systems>
    a schema:CreativeWork ;
   rdfs:label "Web reasoning and rule systems" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/901648000> ; # Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings
    .

<http://worldcat.org/isbn/9783540729815>
    a schema:ProductModel ;
   schema:isbn "354072981X" ;
   schema:isbn "9783540729815" ;
    .

<http://worldcat.org/isbn/9783540729822>
    a schema:ProductModel ;
   schema:isbn "3540729828" ;
   schema:isbn "9783540729822" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/901648000> ; # Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
    .

<http://www.worldcat.org/title/-/oclc/901648000>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/901648000> ; # Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings
   schema:dateModified "2017-10-21" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.