Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
The description logic handbook [[electronic resource] ] : theory, implementation, and applications / / edited by Franz Baader ... [et al.]
| The description logic handbook [[electronic resource] ] : theory, implementation, and applications / / edited by Franz Baader ... [et al.] |
| Pubbl/distr/stampa | Cambridge, UK ; ; New York, : Cambridge University Press, 2003 |
| Descrizione fisica | 1 online resource (575 p.) |
| Disciplina | 006.3/32 |
| Altri autori (Persone) | BaaderFranz |
| Soggetto topico | Description logics |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-107-12924-9
1-280-41799-4 9786610417995 1-139-13014-5 0-511-17880-8 1-139-14649-1 0-511-06694-5 0-511-06063-7 0-511-06907-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cover; Half-title; Title; Copyright; Contents; Contributors; Preface; 1 An Introduction to Description Logics; Part I Theory; Part II Implementation; Part III Applications; Appendix Description Logic Terminology; Bibliography; Index |
| Record Nr. | UNINA-9910450526303321 |
| Cambridge, UK ; ; New York, : Cambridge University Press, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The description logic handbook [[electronic resource] ] : theory, implementation, and applications / / edited by Franz Baader ... [et al.]
| The description logic handbook [[electronic resource] ] : theory, implementation, and applications / / edited by Franz Baader ... [et al.] |
| Pubbl/distr/stampa | Cambridge, UK ; ; New York, : Cambridge University Press, 2003 |
| Descrizione fisica | 1 online resource (575 p.) |
| Disciplina | 006.3/32 |
| Altri autori (Persone) | BaaderFranz |
| Soggetto topico | Description logics |
| ISBN |
1-107-12924-9
1-280-41799-4 9786610417995 1-139-13014-5 0-511-17880-8 1-139-14649-1 0-511-06694-5 0-511-06063-7 0-511-06907-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cover; Half-title; Title; Copyright; Contents; Contributors; Preface; 1 An Introduction to Description Logics; Part I Theory; Part II Implementation; Part III Applications; Appendix Description Logic Terminology; Bibliography; Index |
| Record Nr. | UNINA-9910783143703321 |
| Cambridge, UK ; ; New York, : Cambridge University Press, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Description logic rules / / Markus Krötzsch
| Description logic rules / / Markus Krötzsch |
| Autore | Krötzsch Markus |
| Pubbl/distr/stampa | Heidelberg, Germany : , : AKA : , : IOS Press, , 2010 |
| Descrizione fisica | 1 online resource (275 p.) |
| Disciplina | 006.332 |
| Collana | Studies on the Semantic Web |
| Soggetto topico | Description logics |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-61499-342-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title Page; Preface; Contents; List of Figures; Introduction; Ontologies and the Semantic Web; Description Logics; What is a Rule?; Aims and Objectives; Guide to the Reader; Basic Definitions; First-Order Logic with Equality; Semantic Correspondences between Logical Theories; Computational Complexity; Introduction to Description Logics; The Description Logic SROIQ; Syntax; Semantics and Inferencing; Simplifications and Normal Forms; Relationship of DLs to Other Logics; Description Logic Nomenclature; Combining Description Logics with Datalog; Datalog as a First-Order Rule Language
Syntax of DatalogSemantics of Datalog; Equality; Datalog cup Description Logics: SWRL; Defining SWRL; Reasoning in SWRL; Approaches for Combining Rules and DLs; Rules and Conjunctive Queries; Extending Description Logics with Role Constructors; Introducing Role Expressions; Role Expressions for SROIQ and SHOIQ; Safe Role Expressions for SHIQ; A Tractable DL with Role Expressions; Summary; Related Work; Horn Logic Fragments of Description Logics; A Horn Fragment of SROIQ; A Light-Weight Horn-DL: Horn-FL0; PSpace-Complete Horn DLs: From Horn-FL- to Horn-FLOH-; Hardness; Containment Horn-SHIQ and Other ExpTime-Complete Horn DLsAlternating Turing Machines; Simulating ATMs in Horn-FLE; Summary; Related Work; The Datalog Fragment of Description Logic; Initial Considerations and Problem Definition; The Datalog Fragment of ALC; Defining Description Logic Programs; Emulating DLP in Datalog; Model Constructions for Datalog; Showing Structural Maximality of DLP; Summary; Related Work; Description Logic Fragments of SWRL: DL Rules; Initial Observations; Defining SROIQ Rules; Adding Role Constructors; Further Classes of DL Rules; Implementing DL Rules in Datalog; Summary Related WorkExtending DL Rules with DL-Safe Variables; Introducing DL-Safe Rules; DL Rules with Safe Variables; Reasoning Complexity of SROIQ+safe Rules; Tractable DL-Safe Rules: ELP; Summary; Related Work; Conclusions; Summary of the Results; Decidable Fragments of SWRL; Rule Fragments of Description Logics; Tractable Knowledge Representation Languages; Significance of the Results; Future Work; Bibliography; Index |
| Record Nr. | UNINA-9910453262803321 |
Krötzsch Markus
|
||
| Heidelberg, Germany : , : AKA : , : IOS Press, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Description logic rules / / Markus Krötzsch
| Description logic rules / / Markus Krötzsch |
| Autore | Krötzsch Markus |
| Pubbl/distr/stampa | Heidelberg, Germany : , : AKA : , : IOS Press, , 2010 |
| Descrizione fisica | 1 online resource (275 p.) |
| Disciplina | 006.332 |
| Collana | Studies on the Semantic Web |
| Soggetto topico | Description logics |
| ISBN | 1-61499-342-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title Page; Preface; Contents; List of Figures; Introduction; Ontologies and the Semantic Web; Description Logics; What is a Rule?; Aims and Objectives; Guide to the Reader; Basic Definitions; First-Order Logic with Equality; Semantic Correspondences between Logical Theories; Computational Complexity; Introduction to Description Logics; The Description Logic SROIQ; Syntax; Semantics and Inferencing; Simplifications and Normal Forms; Relationship of DLs to Other Logics; Description Logic Nomenclature; Combining Description Logics with Datalog; Datalog as a First-Order Rule Language
Syntax of DatalogSemantics of Datalog; Equality; Datalog cup Description Logics: SWRL; Defining SWRL; Reasoning in SWRL; Approaches for Combining Rules and DLs; Rules and Conjunctive Queries; Extending Description Logics with Role Constructors; Introducing Role Expressions; Role Expressions for SROIQ and SHOIQ; Safe Role Expressions for SHIQ; A Tractable DL with Role Expressions; Summary; Related Work; Horn Logic Fragments of Description Logics; A Horn Fragment of SROIQ; A Light-Weight Horn-DL: Horn-FL0; PSpace-Complete Horn DLs: From Horn-FL- to Horn-FLOH-; Hardness; Containment Horn-SHIQ and Other ExpTime-Complete Horn DLsAlternating Turing Machines; Simulating ATMs in Horn-FLE; Summary; Related Work; The Datalog Fragment of Description Logic; Initial Considerations and Problem Definition; The Datalog Fragment of ALC; Defining Description Logic Programs; Emulating DLP in Datalog; Model Constructions for Datalog; Showing Structural Maximality of DLP; Summary; Related Work; Description Logic Fragments of SWRL: DL Rules; Initial Observations; Defining SROIQ Rules; Adding Role Constructors; Further Classes of DL Rules; Implementing DL Rules in Datalog; Summary Related WorkExtending DL Rules with DL-Safe Variables; Introducing DL-Safe Rules; DL Rules with Safe Variables; Reasoning Complexity of SROIQ+safe Rules; Tractable DL-Safe Rules: ELP; Summary; Related Work; Conclusions; Summary of the Results; Decidable Fragments of SWRL; Rule Fragments of Description Logics; Tractable Knowledge Representation Languages; Significance of the Results; Future Work; Bibliography; Index |
| Record Nr. | UNINA-9910790733903321 |
|
Krötzsch Markus
|
||
| Heidelberg, Germany : , : AKA : , : IOS Press, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Description logic rules / / Markus Krötzsch
| Description logic rules / / Markus Krötzsch |
| Autore | Krötzsch Markus |
| Pubbl/distr/stampa | Heidelberg, Germany : , : AKA : , : IOS Press, , 2010 |
| Descrizione fisica | 1 online resource (275 p.) |
| Disciplina | 006.332 |
| Collana | Studies on the Semantic Web |
| Soggetto topico | Description logics |
| ISBN | 1-61499-342-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title Page; Preface; Contents; List of Figures; Introduction; Ontologies and the Semantic Web; Description Logics; What is a Rule?; Aims and Objectives; Guide to the Reader; Basic Definitions; First-Order Logic with Equality; Semantic Correspondences between Logical Theories; Computational Complexity; Introduction to Description Logics; The Description Logic SROIQ; Syntax; Semantics and Inferencing; Simplifications and Normal Forms; Relationship of DLs to Other Logics; Description Logic Nomenclature; Combining Description Logics with Datalog; Datalog as a First-Order Rule Language
Syntax of DatalogSemantics of Datalog; Equality; Datalog cup Description Logics: SWRL; Defining SWRL; Reasoning in SWRL; Approaches for Combining Rules and DLs; Rules and Conjunctive Queries; Extending Description Logics with Role Constructors; Introducing Role Expressions; Role Expressions for SROIQ and SHOIQ; Safe Role Expressions for SHIQ; A Tractable DL with Role Expressions; Summary; Related Work; Horn Logic Fragments of Description Logics; A Horn Fragment of SROIQ; A Light-Weight Horn-DL: Horn-FL0; PSpace-Complete Horn DLs: From Horn-FL- to Horn-FLOH-; Hardness; Containment Horn-SHIQ and Other ExpTime-Complete Horn DLsAlternating Turing Machines; Simulating ATMs in Horn-FLE; Summary; Related Work; The Datalog Fragment of Description Logic; Initial Considerations and Problem Definition; The Datalog Fragment of ALC; Defining Description Logic Programs; Emulating DLP in Datalog; Model Constructions for Datalog; Showing Structural Maximality of DLP; Summary; Related Work; Description Logic Fragments of SWRL: DL Rules; Initial Observations; Defining SROIQ Rules; Adding Role Constructors; Further Classes of DL Rules; Implementing DL Rules in Datalog; Summary Related WorkExtending DL Rules with DL-Safe Variables; Introducing DL-Safe Rules; DL Rules with Safe Variables; Reasoning Complexity of SROIQ+safe Rules; Tractable DL-Safe Rules: ELP; Summary; Related Work; Conclusions; Summary of the Results; Decidable Fragments of SWRL; Rule Fragments of Description Logics; Tractable Knowledge Representation Languages; Significance of the Results; Future Work; Bibliography; Index |
| Record Nr. | UNINA-9910821104403321 |
|
Krötzsch Markus
|
||
| Heidelberg, Germany : , : AKA : , : IOS Press, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Passage et écriture de l'entre-deux dans El Pasajero de Cristóbal Suárez de Figueroa / / Blandine Daguerre
| Passage et écriture de l'entre-deux dans El Pasajero de Cristóbal Suárez de Figueroa / / Blandine Daguerre |
| Autore | Daguerre Blandine |
| Pubbl/distr/stampa | Pessac : , : Presses universitaires de Pau et des Pays de l'Adour, , 2020 |
| Descrizione fisica | 1 online resource (312 pages) |
| Disciplina | 006.32 |
| Soggetto topico | Description logics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-9910687945303321 |
|
Daguerre Blandine
|
||
| Pessac : , : Presses universitaires de Pau et des Pays de l'Adour, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Semantic matchmaking with nonmonotonic description logics / / Stephan Grimm
| Semantic matchmaking with nonmonotonic description logics / / Stephan Grimm |
| Autore | Grimm Stephen |
| Pubbl/distr/stampa | Heidelberg, Germany : , : AKA : , : IOS Press, , 2009 |
| Descrizione fisica | 1 online resource (278 p.) |
| Disciplina | 025.04 |
| Collana | Studies on the Semantic Web |
| Soggetto topico |
Semantic Web
Description logics |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-61499-335-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Tile Page; Acknowledgements; Abstract; Contents; Introduction; Motivation; Research Objectives; Contributions; Research Fields; Particular Contributions; Publications; Reader's Guide; Foundations; Knowledge Representation and Reasoning; Principles of Knowledge Representation; Forms of Representing Knowledge; Reasoning about Knowledge; Logical Knowledge Representation Formalisms; Classical Model-Theoretic Semantics; Description Logics; Nonmonotonic Logics; Logic Programming; Knowledge Representation Paradigms; Open-World versus Closed-World View; Conceptual Modelling versus Rules
Clear-Cut Predication versus MetamodellingOntologies and the Semantic Web; Ontologies in Information Systems; Notion of an Ontology; Appearance of Ontologies; Utilisation of Ontologies; Semantic Annotation in the Web; The Semantic Web Vision; Ontology Languages for the Semantic Web; OWL and Description Logics; The Web Ontology Language OWL; Syntax and Semantics; Web Aspects and RDF(S)-Compatibility; Software Support; Description Logics; Formal Syntax and Semantics; Reasoning Problems; Concrete Domains; Reasoning with OWL Ontologies; Validation; Deduction Nonmonotonic Reasoning in the Semantic WebNonmonotonic Description Logics; Autoepistemic Description Logics; Formal Semantics for Autoepistemic DLs; Reasoning with Epistemic Operators; Circumscriptive Description Logics; Formal Semantics for Circumscriptive DLs; Reasoning with Circumscribed Knowledge Bases; Terminological Defaults; Discussion; A Reasoning Algorithm for Circumscriptive Description Logics; Principle Idea of a Tableaux Extension; Extending DL Tableaux Calculi by Preference Clashes; Restrictions on the Formalism; Deciding Circumscriptive ALCO Constraint Systems and their SolvabilityTableaux Expansion Rules; Notions of Clash and Detection of Inconsistencies; Sound and Complete Reasoning in Circumscriptive ALCO; Implementation and Optimisation Issues; Prototypical Implementation; Possible Performance Optimisations; Reasoning in Rule-Based WSML; Rule-Based Inferencing and WSML; The Web Service Modeling Language; Reasoning in Rule-Based WSML; Reduction of WSML to Datalog; Ontology Transformations; WSML Semantics through Meta-Level Axioms; WSML Reasoning by Datalog Queries; Realising Datatype Reasoning; Debugging Support Identifying Constraint ViolationsDebugging by Meta-Level Reasoning; System Architecture and Implementation; Architecture and Internal Layering; Interface and Integration with Existing Technology; Matchmaking of Semantically Annotated Resources; Semantic Matchmaking with Description Logics; Notion of Matchmaking; Intuition; Technical Characterisation; Applications; Ontology-Based Modelling of Resources in Description Logics; Resource Classes as Description Logic Concepts; Variance and Incompleteness in Resource Descriptions; Intuitive Reading of DL-Based Descriptions Example Scenario of an Electronic Marketplace |
| Record Nr. | UNINA-9910453269803321 |
|
Grimm Stephen
|
||
| Heidelberg, Germany : , : AKA : , : IOS Press, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Semantic matchmaking with nonmonotonic description logics / / Stephan Grimm
| Semantic matchmaking with nonmonotonic description logics / / Stephan Grimm |
| Autore | Grimm Stephen |
| Pubbl/distr/stampa | Heidelberg, Germany : , : AKA : , : IOS Press, , 2009 |
| Descrizione fisica | 1 online resource (278 p.) |
| Disciplina | 025.04 |
| Collana | Studies on the Semantic Web |
| Soggetto topico |
Semantic Web
Description logics |
| ISBN | 1-61499-335-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Tile Page; Acknowledgements; Abstract; Contents; Introduction; Motivation; Research Objectives; Contributions; Research Fields; Particular Contributions; Publications; Reader's Guide; Foundations; Knowledge Representation and Reasoning; Principles of Knowledge Representation; Forms of Representing Knowledge; Reasoning about Knowledge; Logical Knowledge Representation Formalisms; Classical Model-Theoretic Semantics; Description Logics; Nonmonotonic Logics; Logic Programming; Knowledge Representation Paradigms; Open-World versus Closed-World View; Conceptual Modelling versus Rules
Clear-Cut Predication versus MetamodellingOntologies and the Semantic Web; Ontologies in Information Systems; Notion of an Ontology; Appearance of Ontologies; Utilisation of Ontologies; Semantic Annotation in the Web; The Semantic Web Vision; Ontology Languages for the Semantic Web; OWL and Description Logics; The Web Ontology Language OWL; Syntax and Semantics; Web Aspects and RDF(S)-Compatibility; Software Support; Description Logics; Formal Syntax and Semantics; Reasoning Problems; Concrete Domains; Reasoning with OWL Ontologies; Validation; Deduction Nonmonotonic Reasoning in the Semantic WebNonmonotonic Description Logics; Autoepistemic Description Logics; Formal Semantics for Autoepistemic DLs; Reasoning with Epistemic Operators; Circumscriptive Description Logics; Formal Semantics for Circumscriptive DLs; Reasoning with Circumscribed Knowledge Bases; Terminological Defaults; Discussion; A Reasoning Algorithm for Circumscriptive Description Logics; Principle Idea of a Tableaux Extension; Extending DL Tableaux Calculi by Preference Clashes; Restrictions on the Formalism; Deciding Circumscriptive ALCO Constraint Systems and their SolvabilityTableaux Expansion Rules; Notions of Clash and Detection of Inconsistencies; Sound and Complete Reasoning in Circumscriptive ALCO; Implementation and Optimisation Issues; Prototypical Implementation; Possible Performance Optimisations; Reasoning in Rule-Based WSML; Rule-Based Inferencing and WSML; The Web Service Modeling Language; Reasoning in Rule-Based WSML; Reduction of WSML to Datalog; Ontology Transformations; WSML Semantics through Meta-Level Axioms; WSML Reasoning by Datalog Queries; Realising Datatype Reasoning; Debugging Support Identifying Constraint ViolationsDebugging by Meta-Level Reasoning; System Architecture and Implementation; Architecture and Internal Layering; Interface and Integration with Existing Technology; Matchmaking of Semantically Annotated Resources; Semantic Matchmaking with Description Logics; Notion of Matchmaking; Intuition; Technical Characterisation; Applications; Ontology-Based Modelling of Resources in Description Logics; Resource Classes as Description Logic Concepts; Variance and Incompleteness in Resource Descriptions; Intuitive Reading of DL-Based Descriptions Example Scenario of an Electronic Marketplace |
| Record Nr. | UNINA-9910790733603321 |
|
Grimm Stephen
|
||
| Heidelberg, Germany : , : AKA : , : IOS Press, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Semantic matchmaking with nonmonotonic description logics / / Stephan Grimm
| Semantic matchmaking with nonmonotonic description logics / / Stephan Grimm |
| Autore | Grimm Stephen |
| Pubbl/distr/stampa | Heidelberg, Germany : , : AKA : , : IOS Press, , 2009 |
| Descrizione fisica | 1 online resource (278 p.) |
| Disciplina | 025.04 |
| Collana | Studies on the Semantic Web |
| Soggetto topico |
Semantic Web
Description logics |
| ISBN | 1-61499-335-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Tile Page; Acknowledgements; Abstract; Contents; Introduction; Motivation; Research Objectives; Contributions; Research Fields; Particular Contributions; Publications; Reader's Guide; Foundations; Knowledge Representation and Reasoning; Principles of Knowledge Representation; Forms of Representing Knowledge; Reasoning about Knowledge; Logical Knowledge Representation Formalisms; Classical Model-Theoretic Semantics; Description Logics; Nonmonotonic Logics; Logic Programming; Knowledge Representation Paradigms; Open-World versus Closed-World View; Conceptual Modelling versus Rules
Clear-Cut Predication versus MetamodellingOntologies and the Semantic Web; Ontologies in Information Systems; Notion of an Ontology; Appearance of Ontologies; Utilisation of Ontologies; Semantic Annotation in the Web; The Semantic Web Vision; Ontology Languages for the Semantic Web; OWL and Description Logics; The Web Ontology Language OWL; Syntax and Semantics; Web Aspects and RDF(S)-Compatibility; Software Support; Description Logics; Formal Syntax and Semantics; Reasoning Problems; Concrete Domains; Reasoning with OWL Ontologies; Validation; Deduction Nonmonotonic Reasoning in the Semantic WebNonmonotonic Description Logics; Autoepistemic Description Logics; Formal Semantics for Autoepistemic DLs; Reasoning with Epistemic Operators; Circumscriptive Description Logics; Formal Semantics for Circumscriptive DLs; Reasoning with Circumscribed Knowledge Bases; Terminological Defaults; Discussion; A Reasoning Algorithm for Circumscriptive Description Logics; Principle Idea of a Tableaux Extension; Extending DL Tableaux Calculi by Preference Clashes; Restrictions on the Formalism; Deciding Circumscriptive ALCO Constraint Systems and their SolvabilityTableaux Expansion Rules; Notions of Clash and Detection of Inconsistencies; Sound and Complete Reasoning in Circumscriptive ALCO; Implementation and Optimisation Issues; Prototypical Implementation; Possible Performance Optimisations; Reasoning in Rule-Based WSML; Rule-Based Inferencing and WSML; The Web Service Modeling Language; Reasoning in Rule-Based WSML; Reduction of WSML to Datalog; Ontology Transformations; WSML Semantics through Meta-Level Axioms; WSML Reasoning by Datalog Queries; Realising Datatype Reasoning; Debugging Support Identifying Constraint ViolationsDebugging by Meta-Level Reasoning; System Architecture and Implementation; Architecture and Internal Layering; Interface and Integration with Existing Technology; Matchmaking of Semantically Annotated Resources; Semantic Matchmaking with Description Logics; Notion of Matchmaking; Intuition; Technical Characterisation; Applications; Ontology-Based Modelling of Resources in Description Logics; Resource Classes as Description Logic Concepts; Variance and Incompleteness in Resource Descriptions; Intuitive Reading of DL-Based Descriptions Example Scenario of an Electronic Marketplace |
| Record Nr. | UNINA-9910813907203321 |
|
Grimm Stephen
|
||
| Heidelberg, Germany : , : AKA : , : IOS Press, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
