TY -
GEN
AU - Kontchakov, Roman
AU - Mugnier, Marie-Laure
TI -
Web Reasoning and Rule Systems
8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings
PB - Springer
SN - 9783319111131
KW - Computer Science
KW - Computer science
KW - Software engineering
KW - Database management
KW - Data mining
KW - Information storage and retrieval systems
KW - Application software.
KW - Konferenzschrift
KW - Semantic Web
KW - Ontologie Wissensverarbeitung
KW - Terminologische Logik
KW - Wissensrepräsentationssprache
KW - Produktionsregelsystem
KW - Inferenz Künstliche Intelligenz
PY - 2014
N2 - Literaturangaben
N2 - Invited TalksP 6= P: Why Some Reasoning Problems are More Tractable Than Others -- Semantic Technologies in Selected Industrial Applications -- Web Reasoning for Cultural Heritage -- Full Papers -- Planning with Transaction Logic -- A Generalization of Approximation Fixpoint Theory and Application -- Query Answering over Contextualized RDF/OWL Knowledge with For all-Existential Bridge Rules: Attaining Decidability using Acyclicity -- Exchange-Repairs: Managing Inconsistency in Data Exchange -- Rules and Ontology Based Data Access -- Technical Communications -- Semantic Search for Earth Observation Products using Ontology Services -- Airport Context Analytics -- Navigating among Educational Resources in the Web of Linked Data -- Investigating Information Diffusion in a Multi-Social-Network Scenario via Answer Set Programming -- Web Stream Reasoning Using Probabilistic Answer Set Programming -- Federated Debugging of Lightweight Ontologies -- Revisiting the Hardness of Query Answering in Expressive Description Logics -- An Ontology for Container Terminal Operations -- Posters -- Ontology-Based Answer Extraction Method -- Collective, Incremental Ontology Alignment Through Query Translation -- Disjunctive Constraints in RDF and Their Application to Context Schemas -- Linked Open Data in the Earth Observation Domain: the Vision of Project LEO -- Combining Fuzzy and Probabilistic Reasoning for Crowd-Sourced Categorization and Tagging -- Doctoral Consortium -- Visual Editor for Answer Set Programming: Preliminary Report -- Adaptive Stream Query Processing Approach for Linked Stream Data: Extended Abstract.-Combining Logic and Business Rule Systems.
BT - Lecture Notes in Computer Science ; 8741
BT - SpringerLink ; Bücher
CY - Cham [u.a.]
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -