| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISOBE600200060321 |
|
|
Autore |
Descartes, René |
|
|
Titolo |
Opere. Il mondo. L'uomo. Discorso sul metodo. Meditazione metafisiche / René Descartes ; cur. Gianfranco Cantelli ; trad. Gianfranco Cantelli ; Marcella Ranzoni |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Milano, : Mondadori, 1986 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910483203903321 |
|
|
Titolo |
Principles and practice of Semantic Web reasoning : third international workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 ; proceedings / / Francois Fages, Sylvain Soliman (eds.) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; New York, : Springer, c2005 |
|
|
|
|
|
|
|
Edizione |
[1st ed. 2005.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 166 p.) |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science, , 0302-9743 ; ; 3703 |
|
|
|
|
|
|
Altri autori (Persone) |
|
FagesFrancois |
SolimanSylvain |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
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. |
|
|
|
|
|
| |