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.
Acquisition and understanding of process knowledge using problem solving methods / / José Manuel Gómez-Pérez
| Acquisition and understanding of process knowledge using problem solving methods / / José Manuel Gómez-Pérez |
| Autore | Gómez-Pérez José Manuel |
| Pubbl/distr/stampa | Heidelberg, Germany : , : IOS Press : , : AKA, , 2010 |
| Descrizione fisica | 1 online resource (154 p.) |
| Disciplina | 006.3/31 |
| Collana | Studies on the Semantic Web |
| Soggetto topico |
Knowledge acquisition (Expert systems)
Problem solving - Data processing |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-61499-341-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title Page; List of figures; List of Tables; Contents; Introduction; State of the Art; The Knowledge Acquisition Bottleneck; From Mining to Modelling: The Knowledge Level; Ontologies and Problem Solving Methods in the Knowledge Acquisition Modelling Paradigm; Knowledge Acquisition by Knowledge Engineers; Knowledge Acquisition by Subject Matter Experts; Process Knowledge and Subject Matter Experts; The Process Knowledge Lifecycle; Conclusions; Work Objectives; Goals and Open Research Problems; Contributions to the State of the Art; Work Assumptions, Hypotheses, and Restrictions
Acquisition of Process Knowledge by SMEsIntroduction; Knowledge Acquisition and Formulation by SMEs in the Halo Project; Knowledge Types in Scientific Disciplines; Domain Analysis; A Comprehensive Set of Knowledge Types in Scientific Disciplines; The Process Metamodel; Process Entities in the Process Metamodel; Problem Solving Methods for the Acquisition of Process Knowledge; A PSM Modelling Framework for Processes; A Method to Build a PSM Library of Process Knowledge; A PSM Library for the Acquisition of Process Knowledge; Enabling SMEs to Formulate Process Knowledge The DarkMatter Process EditorRelated Work; Representing and Reasoning with SME-authored Process Knowledge; A Formalism for Representing and Reasoning with Process Knowledge; F-logic as Process Representation and Reasoning Language; The Process Frame; Code Generation for Process Knowledge; Synthesis of precedence rules for data flow management; Code Synthesis for Iterative Actions; Soundness and Completeness of Process Models; Optimization of the Synthesized Process Code; Reasoning with Process Models; Analysis of Process Executions by SMEs; Towards Knowledge Provenance in Process Analysis Problem Solving Methods for the Analysis of Process ExecutionsA Knowledgeoriented Provenance Environment; An Algorithm for Process Analysis Using PSMs; Evaluation; Evaluation of the DarkMatter Process Component for Acquisition of Process Knowledge by SMEs; Evaluation Syllabus; Distribution of the Formulated Processes across the Evaluation Syllabus; Utilization of the PSM Library and Process Metamodel; Usage Experience of the SMEs with the Process Editor; Performance Evaluation of the Process Component; Evaluation of KOPE for the Analysis of Process Executions by SMEs; Evaluation Settings Evaluation MetricsEvaluation Results; Evaluation Conclusions; Conclusions and Future Research; Conclusions; Future Research Problems; REFERENCES; Appendix. Sample F-logic Code for a Process Model |
| Record Nr. | UNINA-9910453264703321 |
Gómez-Pérez José Manuel
|
||
| Heidelberg, Germany : , : IOS Press : , : AKA, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Acquisition and understanding of process knowledge using problem solving methods / / José Manuel Gómez-Pérez
| Acquisition and understanding of process knowledge using problem solving methods / / José Manuel Gómez-Pérez |
| Autore | Gómez-Pérez José Manuel |
| Pubbl/distr/stampa | Heidelberg, Germany : , : IOS Press : , : AKA, , 2010 |
| Descrizione fisica | 1 online resource (154 p.) |
| Disciplina | 006.3/31 |
| Collana | Studies on the Semantic Web |
| Soggetto topico |
Knowledge acquisition (Expert systems)
Problem solving - Data processing |
| ISBN | 1-61499-341-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title Page; List of figures; List of Tables; Contents; Introduction; State of the Art; The Knowledge Acquisition Bottleneck; From Mining to Modelling: The Knowledge Level; Ontologies and Problem Solving Methods in the Knowledge Acquisition Modelling Paradigm; Knowledge Acquisition by Knowledge Engineers; Knowledge Acquisition by Subject Matter Experts; Process Knowledge and Subject Matter Experts; The Process Knowledge Lifecycle; Conclusions; Work Objectives; Goals and Open Research Problems; Contributions to the State of the Art; Work Assumptions, Hypotheses, and Restrictions
Acquisition of Process Knowledge by SMEsIntroduction; Knowledge Acquisition and Formulation by SMEs in the Halo Project; Knowledge Types in Scientific Disciplines; Domain Analysis; A Comprehensive Set of Knowledge Types in Scientific Disciplines; The Process Metamodel; Process Entities in the Process Metamodel; Problem Solving Methods for the Acquisition of Process Knowledge; A PSM Modelling Framework for Processes; A Method to Build a PSM Library of Process Knowledge; A PSM Library for the Acquisition of Process Knowledge; Enabling SMEs to Formulate Process Knowledge The DarkMatter Process EditorRelated Work; Representing and Reasoning with SME-authored Process Knowledge; A Formalism for Representing and Reasoning with Process Knowledge; F-logic as Process Representation and Reasoning Language; The Process Frame; Code Generation for Process Knowledge; Synthesis of precedence rules for data flow management; Code Synthesis for Iterative Actions; Soundness and Completeness of Process Models; Optimization of the Synthesized Process Code; Reasoning with Process Models; Analysis of Process Executions by SMEs; Towards Knowledge Provenance in Process Analysis Problem Solving Methods for the Analysis of Process ExecutionsA Knowledgeoriented Provenance Environment; An Algorithm for Process Analysis Using PSMs; Evaluation; Evaluation of the DarkMatter Process Component for Acquisition of Process Knowledge by SMEs; Evaluation Syllabus; Distribution of the Formulated Processes across the Evaluation Syllabus; Utilization of the PSM Library and Process Metamodel; Usage Experience of the SMEs with the Process Editor; Performance Evaluation of the Process Component; Evaluation of KOPE for the Analysis of Process Executions by SMEs; Evaluation Settings Evaluation MetricsEvaluation Results; Evaluation Conclusions; Conclusions and Future Research; Conclusions; Future Research Problems; REFERENCES; Appendix. Sample F-logic Code for a Process Model |
| Record Nr. | UNINA-9910790733203321 |
|
Gómez-Pérez José Manuel
|
||
| Heidelberg, Germany : , : IOS Press : , : AKA, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Acquisition and understanding of process knowledge using problem solving methods / / José Manuel Gómez-Pérez
| Acquisition and understanding of process knowledge using problem solving methods / / José Manuel Gómez-Pérez |
| Autore | Gómez-Pérez José Manuel |
| Pubbl/distr/stampa | Heidelberg, Germany : , : IOS Press : , : AKA, , 2010 |
| Descrizione fisica | 1 online resource (154 p.) |
| Disciplina | 006.3/31 |
| Collana | Studies on the Semantic Web |
| Soggetto topico |
Knowledge acquisition (Expert systems)
Problem solving - Data processing |
| ISBN | 1-61499-341-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title Page; List of figures; List of Tables; Contents; Introduction; State of the Art; The Knowledge Acquisition Bottleneck; From Mining to Modelling: The Knowledge Level; Ontologies and Problem Solving Methods in the Knowledge Acquisition Modelling Paradigm; Knowledge Acquisition by Knowledge Engineers; Knowledge Acquisition by Subject Matter Experts; Process Knowledge and Subject Matter Experts; The Process Knowledge Lifecycle; Conclusions; Work Objectives; Goals and Open Research Problems; Contributions to the State of the Art; Work Assumptions, Hypotheses, and Restrictions
Acquisition of Process Knowledge by SMEsIntroduction; Knowledge Acquisition and Formulation by SMEs in the Halo Project; Knowledge Types in Scientific Disciplines; Domain Analysis; A Comprehensive Set of Knowledge Types in Scientific Disciplines; The Process Metamodel; Process Entities in the Process Metamodel; Problem Solving Methods for the Acquisition of Process Knowledge; A PSM Modelling Framework for Processes; A Method to Build a PSM Library of Process Knowledge; A PSM Library for the Acquisition of Process Knowledge; Enabling SMEs to Formulate Process Knowledge The DarkMatter Process EditorRelated Work; Representing and Reasoning with SME-authored Process Knowledge; A Formalism for Representing and Reasoning with Process Knowledge; F-logic as Process Representation and Reasoning Language; The Process Frame; Code Generation for Process Knowledge; Synthesis of precedence rules for data flow management; Code Synthesis for Iterative Actions; Soundness and Completeness of Process Models; Optimization of the Synthesized Process Code; Reasoning with Process Models; Analysis of Process Executions by SMEs; Towards Knowledge Provenance in Process Analysis Problem Solving Methods for the Analysis of Process ExecutionsA Knowledgeoriented Provenance Environment; An Algorithm for Process Analysis Using PSMs; Evaluation; Evaluation of the DarkMatter Process Component for Acquisition of Process Knowledge by SMEs; Evaluation Syllabus; Distribution of the Formulated Processes across the Evaluation Syllabus; Utilization of the PSM Library and Process Metamodel; Usage Experience of the SMEs with the Process Editor; Performance Evaluation of the Process Component; Evaluation of KOPE for the Analysis of Process Executions by SMEs; Evaluation Settings Evaluation MetricsEvaluation Results; Evaluation Conclusions; Conclusions and Future Research; Conclusions; Future Research Problems; REFERENCES; Appendix. Sample F-logic Code for a Process Model |
| Record Nr. | UNINA-9910822426503321 |
|
Gómez-Pérez José Manuel
|
||
| Heidelberg, Germany : , : IOS Press : , : AKA, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Benchmarking semantic web technology / / Raúl García Castro
| Benchmarking semantic web technology / / Raúl García Castro |
| Autore | García Castro Raúl |
| Pubbl/distr/stampa | Heidelberg, Germany : , : IOS Press : , : AKA, , 2010 |
| Descrizione fisica | 1 online resource (338 p.) |
| Disciplina | 025.04 |
| Collana | Studies on the Semantic Web |
| Soggetto topico | Semantic Web |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-61499-337-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title Page; Acknowledgements; Contents; Introduction; Context; The Semantic Web; Brief introduction to Semantic Web technologies; Semantic Web technology evaluation; The need for benchmarking in the Semantic Web; Semantic Web technology interoperability; Heterogeneity in ontology representation; The interoperability problem; Categorising ontology differences; Thesis contributions; Thesis structure; State of the Art; Software evaluation; Benchmarking; Benchmarking vs evaluation; Benchmarking classifications; Evaluation and improvement methodologies; Benchmarking methodologies
Software Measurement methodologiesExperimental Software Engineering methodologies; Benchmark suites; Previous interoperability evaluations; Conclusions; Work objectives; Thesis goals and open research problems; Contributions to the state of the art; Work assumptions, hypothesis and restrictions; Benchmarking methodology for Semantic Web technologies; Design principles; Research methodology; Selection of relevant processes; Identification of the main tasks; Task adaption and completion; Analysis of task dependencies; Benchmarking methodology; Benchmarking actors; Benchmarking process Plan phaseExperiment phase; Improvement phase; Recalibration task; Organizing the benchmarking activities; Plan phase; Experiment phase; RDF(S) Interoperability Benchmarking; Experiment definition; RDF(S) Import Benchmark Suite; RDF(S) Export Benchmark Suite; RDF(S) Interoperability Benchmark Suite; Experiment execution; Experiments performed; Experiment automation; RDF(S) import results; KAON RDF(S) import results; Protege-Frames RDF(S) import results; WebODE RDF(S) import results; Corese, Jena and Sesame RDF(S) import results; Evolution of RDF(S) import results; Global RDF(S) import results RDF(S) export resultsKAON RDF(S) export results; Protege-Frames RDF(S) export results; WebODE RDF(S) export results; Corese, Jena and Sesame RDF(S) export results; Evolution of RDF(S) export results; Global RDF(S) export results; RDF(S) interoperability results; KAON interoperability results; Protege-Frames interoperability results; WebODE interoperability results; Global RDF(S) interoperability results; OWL Interoperability Benchmarking; Experiment definition; The OWL Lite Import Benchmark Suite; Benchmarks that depend on the knowledge model; Benchmarks that depend on the syntax Description of the benchmarksTowards benchmark suites for OWL DL and Full; Experiment execution: the IBSE tool; IBSE requirements; IBSE implementation; Using IBSE; OWL compliance results; GATE OWL compliance results; Jena OWL compliance results; KAON2 OWL compliance results; Protege-Frames OWL compliance results; Protege-OWL OWL compliance results; SemTalk OWL compliance results; SWI-Prolog OWL compliance results; WebODE OWL compliance results; Global OWL compliance results; OWL interoperability results; OWL interoperability results per tool; Global OWL interoperability results Evolution of OWL interoperability results |
| Record Nr. | UNINA-9910453268603321 |
|
García Castro Raúl
|
||
| Heidelberg, Germany : , : IOS Press : , : AKA, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Benchmarking semantic web technology / / Raúl García Castro
| Benchmarking semantic web technology / / Raúl García Castro |
| Autore | García Castro Raúl |
| Pubbl/distr/stampa | Heidelberg, Germany : , : IOS Press : , : AKA, , 2010 |
| Descrizione fisica | 1 online resource (338 p.) |
| Disciplina | 025.04 |
| Collana | Studies on the Semantic Web |
| Soggetto topico | Semantic Web |
| ISBN | 1-61499-337-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title Page; Acknowledgements; Contents; Introduction; Context; The Semantic Web; Brief introduction to Semantic Web technologies; Semantic Web technology evaluation; The need for benchmarking in the Semantic Web; Semantic Web technology interoperability; Heterogeneity in ontology representation; The interoperability problem; Categorising ontology differences; Thesis contributions; Thesis structure; State of the Art; Software evaluation; Benchmarking; Benchmarking vs evaluation; Benchmarking classifications; Evaluation and improvement methodologies; Benchmarking methodologies
Software Measurement methodologiesExperimental Software Engineering methodologies; Benchmark suites; Previous interoperability evaluations; Conclusions; Work objectives; Thesis goals and open research problems; Contributions to the state of the art; Work assumptions, hypothesis and restrictions; Benchmarking methodology for Semantic Web technologies; Design principles; Research methodology; Selection of relevant processes; Identification of the main tasks; Task adaption and completion; Analysis of task dependencies; Benchmarking methodology; Benchmarking actors; Benchmarking process Plan phaseExperiment phase; Improvement phase; Recalibration task; Organizing the benchmarking activities; Plan phase; Experiment phase; RDF(S) Interoperability Benchmarking; Experiment definition; RDF(S) Import Benchmark Suite; RDF(S) Export Benchmark Suite; RDF(S) Interoperability Benchmark Suite; Experiment execution; Experiments performed; Experiment automation; RDF(S) import results; KAON RDF(S) import results; Protege-Frames RDF(S) import results; WebODE RDF(S) import results; Corese, Jena and Sesame RDF(S) import results; Evolution of RDF(S) import results; Global RDF(S) import results RDF(S) export resultsKAON RDF(S) export results; Protege-Frames RDF(S) export results; WebODE RDF(S) export results; Corese, Jena and Sesame RDF(S) export results; Evolution of RDF(S) export results; Global RDF(S) export results; RDF(S) interoperability results; KAON interoperability results; Protege-Frames interoperability results; WebODE interoperability results; Global RDF(S) interoperability results; OWL Interoperability Benchmarking; Experiment definition; The OWL Lite Import Benchmark Suite; Benchmarks that depend on the knowledge model; Benchmarks that depend on the syntax Description of the benchmarksTowards benchmark suites for OWL DL and Full; Experiment execution: the IBSE tool; IBSE requirements; IBSE implementation; Using IBSE; OWL compliance results; GATE OWL compliance results; Jena OWL compliance results; KAON2 OWL compliance results; Protege-Frames OWL compliance results; Protege-OWL OWL compliance results; SemTalk OWL compliance results; SWI-Prolog OWL compliance results; WebODE OWL compliance results; Global OWL compliance results; OWL interoperability results; OWL interoperability results per tool; Global OWL interoperability results Evolution of OWL interoperability results |
| Record Nr. | UNINA-9910790729103321 |
|
García Castro Raúl
|
||
| Heidelberg, Germany : , : IOS Press : , : AKA, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Benchmarking semantic web technology / / Raúl García Castro
| Benchmarking semantic web technology / / Raúl García Castro |
| Autore | García Castro Raúl |
| Pubbl/distr/stampa | Heidelberg, Germany : , : IOS Press : , : AKA, , 2010 |
| Descrizione fisica | 1 online resource (338 p.) |
| Disciplina | 025.04 |
| Collana | Studies on the Semantic Web |
| Soggetto topico | Semantic Web |
| ISBN | 1-61499-337-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title Page; Acknowledgements; Contents; Introduction; Context; The Semantic Web; Brief introduction to Semantic Web technologies; Semantic Web technology evaluation; The need for benchmarking in the Semantic Web; Semantic Web technology interoperability; Heterogeneity in ontology representation; The interoperability problem; Categorising ontology differences; Thesis contributions; Thesis structure; State of the Art; Software evaluation; Benchmarking; Benchmarking vs evaluation; Benchmarking classifications; Evaluation and improvement methodologies; Benchmarking methodologies
Software Measurement methodologiesExperimental Software Engineering methodologies; Benchmark suites; Previous interoperability evaluations; Conclusions; Work objectives; Thesis goals and open research problems; Contributions to the state of the art; Work assumptions, hypothesis and restrictions; Benchmarking methodology for Semantic Web technologies; Design principles; Research methodology; Selection of relevant processes; Identification of the main tasks; Task adaption and completion; Analysis of task dependencies; Benchmarking methodology; Benchmarking actors; Benchmarking process Plan phaseExperiment phase; Improvement phase; Recalibration task; Organizing the benchmarking activities; Plan phase; Experiment phase; RDF(S) Interoperability Benchmarking; Experiment definition; RDF(S) Import Benchmark Suite; RDF(S) Export Benchmark Suite; RDF(S) Interoperability Benchmark Suite; Experiment execution; Experiments performed; Experiment automation; RDF(S) import results; KAON RDF(S) import results; Protege-Frames RDF(S) import results; WebODE RDF(S) import results; Corese, Jena and Sesame RDF(S) import results; Evolution of RDF(S) import results; Global RDF(S) import results RDF(S) export resultsKAON RDF(S) export results; Protege-Frames RDF(S) export results; WebODE RDF(S) export results; Corese, Jena and Sesame RDF(S) export results; Evolution of RDF(S) export results; Global RDF(S) export results; RDF(S) interoperability results; KAON interoperability results; Protege-Frames interoperability results; WebODE interoperability results; Global RDF(S) interoperability results; OWL Interoperability Benchmarking; Experiment definition; The OWL Lite Import Benchmark Suite; Benchmarks that depend on the knowledge model; Benchmarks that depend on the syntax Description of the benchmarksTowards benchmark suites for OWL DL and Full; Experiment execution: the IBSE tool; IBSE requirements; IBSE implementation; Using IBSE; OWL compliance results; GATE OWL compliance results; Jena OWL compliance results; KAON2 OWL compliance results; Protege-Frames OWL compliance results; Protege-OWL OWL compliance results; SemTalk OWL compliance results; SWI-Prolog OWL compliance results; WebODE OWL compliance results; Global OWL compliance results; OWL interoperability results; OWL interoperability results per tool; Global OWL interoperability results Evolution of OWL interoperability results |
| Record Nr. | UNINA-9910813903503321 |
|
García Castro Raúl
|
||
| Heidelberg, Germany : , : IOS Press : , : AKA, , 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 |
| 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 | ||
| ||
Enabling collaboration on semiformal mathematical knowledge by semantic web integration / / Christoph Lange
| Enabling collaboration on semiformal mathematical knowledge by semantic web integration / / Christoph Lange |
| Autore | Lange Christoph |
| Pubbl/distr/stampa | Heidelberg, Germany : , : IOS Press : , : AKA, , 2011 |
| Descrizione fisica | 1 online resource (610 p.) |
| Disciplina | 006.332 |
| Collana | Studies on the Semantic Web |
| Soggetto topico |
Knowledge representation (Information theory)
Semantic Web Mathematics OMDoc (Document markup language) |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-61499-345-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title Page; Contents; Abstract; Acknowledgments; Part I. Introduction; Chapter 1. Web Collaboration on Mathematical Knowledge; Current Practices of ""Doing Mathematics""; Enabling Management, Understanding, and Application of Mathematical Knowledge; Web 2.0 and Semantic Web in Science; Mathematics on the Web - State of the Art and Challenges; Collaborative Mathematics on the Web - Why Retry Now?; Challenges to be Addressed by a New MKM Infrastructure; Structure and Contribution of this Thesis; Part II. Knowledge Representation; Chapter 2. Representing Mathematical Knowledge
Structures of Mathematical KnowledgeRequirements for Reusably Representing and Exchanging Mathematical Knowledge; Knowledge Representation on the [Semantic] Web (State of the Art); Representing Semiformal Mathematical Knowledge (State of the Art); Designing an Improved Representation and Exchange Language; Chapter 3. Ontologies for Structures of Mathematical Knowledge; Overview of the Ontologies by Structural Dimension; Logical and Functional Structures, and Notation; Rhetorical and Document Structures; Metadata; The Application Environment; Discussions about Knowledge Items Requirements for Extracting Structures from Semantic Markup to RDFRelated Work; Conclusion and Future Work; Chapter 4. Using Mathematical Markup for Implementing and Documenting Expressive Ontologies; Problem and Requirements Statement; State of the Art; Implementing and Documenting Heterogeneous Ontologies in OMDoc; Implementation of the OMDoc Ontology; Case Study: Reimplementing FOAF in OMDoc; Related Work; Conclusion and Future Work; Chapter 5. Multi-Dimensional Metadata Markup; The Metadata Syntax of OMDoc 1.2 (State of the Art); The new OMDoc+RDFa Metadata Framework; Related Work ConclusionPart III. Services and their Integration; Chapter 6. Primitive Services for Managing Mathematical Knowledge; Tasks, Scenarios, and Required Primitive Services; Editing; Validating; Human- and Machine-Comprehensible Publishing; Information Retrieval; Arguing about Problems and their Solutions; Conclusion; Chapter 7. Integrating Assistive Services into Interactive Documents; State of the Art and Related Work; Requirements for Integrating Services into Documents; The JOBAD Architecture; In-Document Client Services; Symbol-based Client Services; Expression-based Client Services Conclusion and Future WorkChapter 8. Transparent Translations in Knowledge Bases; Extracting Structures from Semantic Markup; Migration to More Expressive Languages; Coping with Different Representation Granularities on Import and Export; Recommendations for Running Translations Transparently; Conclusion; Chapter 9. The Semantic Wiki SWiM - An Integrated Collaboration Environment; Wikis and Semantic Wikis (State of the Art); Requirements Analysis and Design Decisions; Architecture; How SWiM Supports OpenMath CD Maintenance Workflows; Related Work; Conclusion and Future Work Chapter 10. Usability Evaluation of an Integrated Environment for Maintaining Semiformal Collections |
| Record Nr. | UNINA-9910453457003321 |
|
Lange Christoph
|
||
| Heidelberg, Germany : , : IOS Press : , : AKA, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
