1.

Record Nr.

UNINA9910483203903321

Titolo

Principles and Practice of Semantic Web Reasoning : Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings / / edited by Francois Fages, Sylvain Soliman

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005

Edizione

[1st ed. 2005.]

Descrizione fisica

1 online resource (X, 166 p.)

Collana

Information Systems and Applications, incl. Internet/Web, and HCI, , 2946-1642 ; ; 3703

Altri autori (Persone)

FagesFrançois

SolimanSylvain

Disciplina

005.7

Soggetti

Application software

Computer science

Information storage and retrieval systems

Artificial intelligence

Machine theory

Computer and Information Systems Applications

Computer Science

Information Storage and Retrieval

Artificial Intelligence

Formal Languages and Automata Theory

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

Architectures -- SomeWhere in the Semantic Web -- A Framework for Aligning Ontologies -- A Revised Architecture for Semantic Web Reasoning -- Semantic Web Architecture: Stack or Two Towers? -- Languages -- Ten Theses on Logic Languages for the Semantic Web -- Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules -- Logical Reconstruction of RDF and Ontology Languages -- Marriages of Convenience: Triples and Graphs, RDF and XML in Web Querying -- Descriptive Typing Rules for Xcerpt -- A General Language for Evolution and Reactivity in the Semantic Web -- Reasoning -- Use Cases for Reasoning with Metadata or What Have Web



Services to Do with Integrity Constraints? -- Principles of Inductive Reasoning on the Semantic Web: A Framework for Learning in -Log -- Computational Treatment of Temporal Notions: The CTTN–System -- A Geospatial World Model for the Semantic Web -- Generating Contexts for Expression Data Using Pathway Queries.