Massimo Marchiori Knihy

This collection presents a comprehensive exploration of semantics and reasoning within hybrid rules and ontologies. It includes well-founded semantics for hybrid rules, the XChangeEQ language for composite event queries, and the semantics of service compositions. The work delves into expressive reasoning with Horn rules and fuzzy description logics, quantified equilibrium logic, and the discovery and composition of web services. Additionally, it addresses ontological reasoning for emotional voice synthesis and the integration of model-driven architecture with the semantic web for business rules generation. Short papers cover a range of topics, including a context-based architecture for RDF knowledge bases, a hybrid system for semantic annotation of brain MRI images, and ontology-based rule acquisition from web documents. The collection also discusses a fast algebraic web verification service, proof explanation in the DR-DEVICE system, and rule-based active domain brokering for the semantic web. Selected posters further enhance the discourse, examining extensions to SWRL for mathematical support, efficient querying of relational databases using OWL and SWRL, and top-down computation of semantics in weighted fuzzy logic programs. The works also explore visualization algorithms for defeasible logic rule bases, efficient OWL reasoning, and reasoning about XML schema mappings with constraints. This anthology serves as a vital res