Reasoning Web [[electronic resource] ] : Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures / / edited by Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XII, 269 p.) |
Disciplina | 025.04 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Information storage and retrieval Computer communication systems Database management User interfaces (Computer systems) Bioinformatics Information Systems Applications (incl. Internet) Information Storage and Retrieval Computer Communication Networks Database Management User Interfaces and Human Computer Interaction |
ISBN | 3-540-38412-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | RDF Querying: Language Constructs and Evaluation Methods Compared -- Querying the Web with SPARQL -- Composition of Rule Sets and Ontologies -- Reasoning with Rules and Ontologies -- Integrating Ontologies and Rules: Semantic and Computational Issues -- Business Rules in the Semantic Web, Are There Any or Are They Different? -- Ontologies and Text Mining as a Basis for a Semantic Web for the Life Sciences -- Integrating Web Resources to Model Protein Structure and Function -- Ontological and Practical Issues in Using a Description Logic to Represent Medical Concept Systems: Experience from GALEN -- The Semantic Web from an Industry Perspective. |
Record Nr. | UNISA-996465773403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Reasoning Web [[electronic resource] ] : Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures / / edited by Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XII, 269 p.) |
Disciplina | 025.04 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Information storage and retrieval Computer communication systems Database management User interfaces (Computer systems) Bioinformatics Information Systems Applications (incl. Internet) Information Storage and Retrieval Computer Communication Networks Database Management User Interfaces and Human Computer Interaction |
ISBN | 3-540-38412-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | RDF Querying: Language Constructs and Evaluation Methods Compared -- Querying the Web with SPARQL -- Composition of Rule Sets and Ontologies -- Reasoning with Rules and Ontologies -- Integrating Ontologies and Rules: Semantic and Computational Issues -- Business Rules in the Semantic Web, Are There Any or Are They Different? -- Ontologies and Text Mining as a Basis for a Semantic Web for the Life Sciences -- Integrating Web Resources to Model Protein Structure and Function -- Ontological and Practical Issues in Using a Description Logic to Represent Medical Concept Systems: Experience from GALEN -- The Semantic Web from an Industry Perspective. |
Record Nr. | UNINA-9910483709503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Reasoning Web. Semantic Technologies for Information Systems [[electronic resource] ] : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures / / edited by Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie- Christine Rousset, Renate Schmidt |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (VII, 357 p.) |
Disciplina | 006.3322gerDNB |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
User interfaces (Computer systems) Information storage and retrieval Computer science—Mathematics Mathematical logic Computer logic Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Information Storage and Retrieval Symbolic and Algebraic Manipulation Mathematical Logic and Formal Languages Logics and Meanings of Programs |
Soggetto genere / forma |
Brixen (2009)
Kongress. |
ISBN | 3-642-03754-2 |
Classificazione |
DAT 616f
DAT 703f SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Description Logics -- Answer Set Programming: A Primer -- Logical Foundations of XML and XQuery -- Foundations of RDF Databases -- Database Technologies for RDF -- Technologies for the Social Semantic Desktop -- Ontologies and Databases: The DL-Lite Approach. |
Record Nr. | UNISA-996465341203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Reasoning Web. Semantic Technologies for Information Systems [[electronic resource] ] : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures / / edited by Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie- Christine Rousset, Renate Schmidt |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (VII, 357 p.) |
Disciplina | 006.3322gerDNB |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
User interfaces (Computer systems) Information storage and retrieval Computer science—Mathematics Mathematical logic Computer logic Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Information Storage and Retrieval Symbolic and Algebraic Manipulation Mathematical Logic and Formal Languages Logics and Meanings of Programs |
Soggetto genere / forma |
Brixen (2009)
Kongress. |
ISBN | 3-642-03754-2 |
Classificazione |
DAT 616f
DAT 703f SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Description Logics -- Answer Set Programming: A Primer -- Logical Foundations of XML and XQuery -- Foundations of RDF Databases -- Database Technologies for RDF -- Technologies for the Social Semantic Desktop -- Ontologies and Databases: The DL-Lite Approach. |
Record Nr. | UNINA-9910483349803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Rules and Reasoning [[electronic resource] ] : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings / / edited by Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XVIII, 239 p. 43 illus.) |
Disciplina | 025.04 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer programming
Programming languages (Electronic computers) Mathematical logic Artificial intelligence Software engineering Application software Programming Techniques Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Artificial Intelligence Software Engineering Computer Applications |
ISBN | 3-319-61252-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Opening the Black Box: Deriving Rules from Data -- The secret life of rules in Software Engineering -- Meta-Interpretive Learning: achievements and challenges -- Dischargeable Obligations in Abductive Logic Programming -- Using Rule-Based Reasoning for RDF Validation -- Three Methods for Revising Hybrid Knowledge Bases -- Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and its Evaluation on Real Data -- Semantic DMN: Formalizing Decision Models with Domain Knowledge -- A set-theoretic approach to ABox reasoning services -- Verifying Controllability of Time-Aware Business Processes -- A Decidable Conuence Test for Cognitive Models in ACT-R -- On the Chase for All Provenance Paths With Existential Rules -- Rewriting Queries with Negated Atoms -- Fast ABox Consistency Checking using Incomplete Reasoning and Caching -- An Online Tool for Tuning Fuzzy Logic Programs -- Hybrid ASP-based Approach to Pattern Mining -- nconsistency-tolerant Instance Checking in Tractable Description Logics -- ArgQL: A Declarative Language for Querying Argumentative Dialogues. |
Record Nr. | UNINA-9910483234003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Rules and Reasoning [[electronic resource] ] : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings / / edited by Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XVIII, 239 p. 43 illus.) |
Disciplina | 025.04 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer programming
Programming languages (Electronic computers) Mathematical logic Artificial intelligence Software engineering Application software Programming Techniques Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Artificial Intelligence Software Engineering Computer Applications |
ISBN | 3-319-61252-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Opening the Black Box: Deriving Rules from Data -- The secret life of rules in Software Engineering -- Meta-Interpretive Learning: achievements and challenges -- Dischargeable Obligations in Abductive Logic Programming -- Using Rule-Based Reasoning for RDF Validation -- Three Methods for Revising Hybrid Knowledge Bases -- Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and its Evaluation on Real Data -- Semantic DMN: Formalizing Decision Models with Domain Knowledge -- A set-theoretic approach to ABox reasoning services -- Verifying Controllability of Time-Aware Business Processes -- A Decidable Conuence Test for Cognitive Models in ACT-R -- On the Chase for All Provenance Paths With Existential Rules -- Rewriting Queries with Negated Atoms -- Fast ABox Consistency Checking using Incomplete Reasoning and Caching -- An Online Tool for Tuning Fuzzy Logic Programs -- Hybrid ASP-based Approach to Pattern Mining -- nconsistency-tolerant Instance Checking in Tractable Description Logics -- ArgQL: A Declarative Language for Querying Argumentative Dialogues. |
Record Nr. | UNISA-996466465103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
The semantic web : research and applications : 4th European semantic web conference, ESWC 2007, Innsbruck, Austria, 03-07.06.2007 : proceedings / / Enrico Franconi, Michael Kifer, Wolfgang May (editors) |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] |
Descrizione fisica | 1 online resource (847 p.) |
Disciplina | 025.04 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico | Semantic Web |
ISBN |
1-280-94922-8
9786610949229 3-540-72667-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Emerging Sciences of the Internet: Some New Opportunities -- Design Abstractions for Innovative Web Applications: The Case of the SOA Augmented with Semantics -- The Lixto Systems Applications in Business Intelligence and Semantic Web -- Ways to Develop Human-Level Web Intelligence: A Brain Informatics Perspective -- Best Papers -- Empowering Software Maintainers with Semantic Web Technologies -- Minimal Deductive Systems for RDF -- Semantic Web Services -- Web Service Contracting: Specification and Reasoning with SCIFF -- Dynamic Service Discovery Through Meta-interactions with Service Providers -- Two-Phase Web Service Discovery Based on Rich Functional Descriptions -- A Reasoning Framework for Rule-Based WSML -- Ontology Learning, Inference and Mapping I -- GenTax: A Generic Methodology for Deriving OWL and RDF-S Ontologies from Hierarchical Classifications, Thesauri, and Inconsistent Taxonomies -- SPARQLeR: Extended Sparql for Semantic Association Discovery -- Simple Algorithms for Predicate Suggestions Using Similarity and Co-occurrence -- Learning Disjointness -- Case Studies -- Developing Ontologies for Collaborative Engineering in Mechatronics -- Media, Politics and the Semantic Web -- SEEMP: An Semantic Interoperability Infrastructure for e-Government Services in the Employment Sector -- Combining RDF Vocabularies for Expert Finding -- Social Semantic Web -- Extracting Social Networks Among Various Entities on the Web -- Towards Semantic Social Networks -- Knowledge Sharing on the Semantic Web -- Ontologies: Requirements and Analysis -- Real-World Reasoning with OWL -- How to Design Better Ontology Metrics -- Measuring Inconsistencies in Ontologies -- Personalization I -- Squirrel: An Advanced Semantic Search and Browse Facility -- User-Centric Faceted Search for Semantic Portals -- An Approach for Identification of User’s Intentions During the Navigation in Semantic Websites -- Foundations of the Semantic Web -- A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web -- Algorithms for Paraconsistent Reasoning with OWL -- Vague Knowledge Bases for Matchmaking in P2P E-Marketplaces -- Symbol Grounding for the Semantic Web -- Natural Languages and Ontologies -- Ontology-Driven Semantic Ranking for Natural Language Disambiguation in the OntoNL Framework -- Web-Annotations for Humans and Machines -- PANTO: A Portable Natural Language Interface to Ontologies -- Mining the Web Through Verbs: A Case Study -- Applications -- What Have Innsbruck and Leipzig in Common? Extracting Semantics from Wiki Content -- SALT - Semantically Annotated for Scientific Publications -- Annotating Relationships Between Multiple Mixed-Media Digital Objects by Extending Annotea -- Describing Ontology Applications -- Querying and Web Data Models -- The SPARQL Query Graph Model for Query Optimization -- A Unified Approach to Retrieving Web Documents and Semantic Web Data -- Distributed Knowledge Representation on the Social Semantic Desktop: Named Graphs, Views and Roles in NRL -- Semantic Process Retrieval with iSPARQL -- Ontology Learning, Inference and Mapping II -- Integrating Folksonomies with the Semantic Web -- IdentityRank: Named Entity Disambiguation in the Context of the NEWS Project -- A Study in Empirical and ‘Casuistic’ Analysis of Ontology Mapping Results -- Acquisition of OWL DL Axioms from Lexical Resources -- Personalization II -- On Enriching Ajax with Semantics: The Web Personalization Use Case -- A Semantic Web Service Oriented Framework for Adaptive Learning Environments -- Semantic Composition of Lecture Subparts for a Personalized e-Learning -- System Descriptions -- Caravela: Semantic Content Management with Automatic Information Integration and Categorization (System Description) -- The NExT System: Towards True Dynamic Adaptations of Semantic Web Service Compositions -- WSMO Studio – A Semantic Web Services Modelling Environment for WSMO -- An Annotation Tool for Semantic Documents -- SWHi System Description: A Case Study in Information Retrieval, Inference, and Visualization in the Semantic Web -- Semantic Turkey: A Semantic Bookmarking Tool (System Description) -- The Web Service Modeling Toolkit - An Integrated Development Environment for Semantic Web Services -- Understanding Large Volumes of Interconnected Individuals by Visual Exploration -- System Description: An Orienteering Strategy to Browse Semantically-Enhanced Educational Wiki Pages -- Efficient Content Creation on the Semantic Web Using Metadata Schemas with Domain Ontology Services (System Description). |
Record Nr. | UNINA-9910483262003321 |
Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
The semantic web : research and applications : 4th European semantic web conference, ESWC 2007, Innsbruck, Austria, 03-07.06.2007 : proceedings / / Enrico Franconi, Michael Kifer, Wolfgang May (editors) |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] |
Descrizione fisica | 1 online resource (847 p.) |
Disciplina | 025.04 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico | Semantic Web |
ISBN |
1-280-94922-8
9786610949229 3-540-72667-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Emerging Sciences of the Internet: Some New Opportunities -- Design Abstractions for Innovative Web Applications: The Case of the SOA Augmented with Semantics -- The Lixto Systems Applications in Business Intelligence and Semantic Web -- Ways to Develop Human-Level Web Intelligence: A Brain Informatics Perspective -- Best Papers -- Empowering Software Maintainers with Semantic Web Technologies -- Minimal Deductive Systems for RDF -- Semantic Web Services -- Web Service Contracting: Specification and Reasoning with SCIFF -- Dynamic Service Discovery Through Meta-interactions with Service Providers -- Two-Phase Web Service Discovery Based on Rich Functional Descriptions -- A Reasoning Framework for Rule-Based WSML -- Ontology Learning, Inference and Mapping I -- GenTax: A Generic Methodology for Deriving OWL and RDF-S Ontologies from Hierarchical Classifications, Thesauri, and Inconsistent Taxonomies -- SPARQLeR: Extended Sparql for Semantic Association Discovery -- Simple Algorithms for Predicate Suggestions Using Similarity and Co-occurrence -- Learning Disjointness -- Case Studies -- Developing Ontologies for Collaborative Engineering in Mechatronics -- Media, Politics and the Semantic Web -- SEEMP: An Semantic Interoperability Infrastructure for e-Government Services in the Employment Sector -- Combining RDF Vocabularies for Expert Finding -- Social Semantic Web -- Extracting Social Networks Among Various Entities on the Web -- Towards Semantic Social Networks -- Knowledge Sharing on the Semantic Web -- Ontologies: Requirements and Analysis -- Real-World Reasoning with OWL -- How to Design Better Ontology Metrics -- Measuring Inconsistencies in Ontologies -- Personalization I -- Squirrel: An Advanced Semantic Search and Browse Facility -- User-Centric Faceted Search for Semantic Portals -- An Approach for Identification of User’s Intentions During the Navigation in Semantic Websites -- Foundations of the Semantic Web -- A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web -- Algorithms for Paraconsistent Reasoning with OWL -- Vague Knowledge Bases for Matchmaking in P2P E-Marketplaces -- Symbol Grounding for the Semantic Web -- Natural Languages and Ontologies -- Ontology-Driven Semantic Ranking for Natural Language Disambiguation in the OntoNL Framework -- Web-Annotations for Humans and Machines -- PANTO: A Portable Natural Language Interface to Ontologies -- Mining the Web Through Verbs: A Case Study -- Applications -- What Have Innsbruck and Leipzig in Common? Extracting Semantics from Wiki Content -- SALT - Semantically Annotated for Scientific Publications -- Annotating Relationships Between Multiple Mixed-Media Digital Objects by Extending Annotea -- Describing Ontology Applications -- Querying and Web Data Models -- The SPARQL Query Graph Model for Query Optimization -- A Unified Approach to Retrieving Web Documents and Semantic Web Data -- Distributed Knowledge Representation on the Social Semantic Desktop: Named Graphs, Views and Roles in NRL -- Semantic Process Retrieval with iSPARQL -- Ontology Learning, Inference and Mapping II -- Integrating Folksonomies with the Semantic Web -- IdentityRank: Named Entity Disambiguation in the Context of the NEWS Project -- A Study in Empirical and ‘Casuistic’ Analysis of Ontology Mapping Results -- Acquisition of OWL DL Axioms from Lexical Resources -- Personalization II -- On Enriching Ajax with Semantics: The Web Personalization Use Case -- A Semantic Web Service Oriented Framework for Adaptive Learning Environments -- Semantic Composition of Lecture Subparts for a Personalized e-Learning -- System Descriptions -- Caravela: Semantic Content Management with Automatic Information Integration and Categorization (System Description) -- The NExT System: Towards True Dynamic Adaptations of Semantic Web Service Compositions -- WSMO Studio – A Semantic Web Services Modelling Environment for WSMO -- An Annotation Tool for Semantic Documents -- SWHi System Description: A Case Study in Information Retrieval, Inference, and Visualization in the Semantic Web -- Semantic Turkey: A Semantic Bookmarking Tool (System Description) -- The Web Service Modeling Toolkit - An Integrated Development Environment for Semantic Web Services -- Understanding Large Volumes of Interconnected Individuals by Visual Exploration -- System Description: An Orienteering Strategy to Browse Semantically-Enhanced Educational Wiki Pages -- Efficient Content Creation on the Semantic Web Using Metadata Schemas with Domain Ontology Services (System Description). |
Record Nr. | UNISA-996465292803316 |
Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|