Angebote zu "Logics" (16 Treffer)

Kategorien

Shops

Logics for Emerging Applications of Databases
117,59 € *
ggf. zzgl. Versand

Erscheinungsdatum: 26.08.2003, Medium: Buch, Einband: Gebunden, Titel: Logics for Emerging Applications of Databases, Auflage: 2004, Redaktion: Chomicki, Jan // Meyden, Ron Van Der // Saake, Gunter, Verlag: Springer Berlin Heidelberg // Springer-Verlag GmbH, Sprache: Englisch, Schlagworte: Database // Datenbank // XML // Extensible Markup Language // Mathematische und statistische Software // Datenbankprogrammierung // Datenbanken // Data Warehousing // Informationsrückgewinnung // Information Retrieval // Theoretische Informatik // Künstliche Intelligenz, Rubrik: Informatik, Seiten: 388, Informationen: HC runder Rücken kaschiert, Gewicht: 746 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Logics for XML
48,99 € *
ggf. zzgl. Versand

Logics for XML ab 48.99 € als Taschenbuch: Reasoning about Trees. Aus dem Bereich: Bücher, English, International, Gebundene Ausgaben,

Anbieter: hugendubel
Stand: 31.05.2020
Zum Angebot
Logics for XML
48,99 € *
ggf. zzgl. Versand

Logics for XML ab 48.99 EURO Reasoning about Trees

Anbieter: ebook.de
Stand: 31.05.2020
Zum Angebot
Logics for XML
49,00 € *
ggf. zzgl. Versand

This work describes the theoretical and practical foundations of a system for the static analysis of XML processing languages. The system relies on a fixpoint modal logic with converse where models are finite trees. This calculus is expressive enough to capture regular tree types along with multi-directional navigation in trees. The decidability of the logic is proved in time 2^O(n) where n is the size of the input formula. XPath expressions and XML schemas are linearly translated into the logic. Based on these embeddings, several problems of major importance in XML applications are reduced to logical satisfiability. The focus is then given to a sound and complete algorithm for deciding the logic, along with crucial implementation techniques for building an effective solver. Practical experiments using a full system implementation are presented. The system appears efficient in practice for several realistic scenarios. The main application of this work is a new class of static analyzers for programs manipulating XML data. Such analyzers allow to ensure at compile-time valuable properties such as type-safety and optimizations, for safer and more efficient XML processing.

Anbieter: Dodax
Stand: 31.05.2020
Zum Angebot
Model Driven Engineering and Ontology Development
139,09 € *
ggf. zzgl. Versand

Defining a formal domain ontology is generally considered a useful, not to say necessary step in almost every software project. This is because software deals with ideas rather than with self-evident physical artefacts. However, this development step is hardly ever done, as ontologies rely on well-defined and semantically powerful AI concepts such as description logics or rule-based systems, and most software engineers are largely unfamiliar with these. Ga evic and his co-authors try to fill this gap by detailing how to use model-driven engineering for ontology development on the Semantic Web. Part I of their book describes existing technologies, tools, and standards like XML, RDF, OWL, MDA, and UML. Part II presents the first detailed description of OMG's new ODM (Ontology Definition Metamodel) initiative, a specification which is expected to be in the form of an OMG language like UML. Finally, Part III is dedicated to applications and practical aspects of developing ontologies using MDA-based languages. For this second edition, the descriptions of the related standards (like MOF, ODM, OCL, and OWL) have been revised and updated, new chapters introducing the basic principles of model-driven engineering, recent research results on metamodeling Semantic Web rule languages, an introduction to the Atlas Transformation Language (ATL) and its tool support, and, last but not least, many new examples have been added.

Anbieter: Dodax
Stand: 31.05.2020
Zum Angebot
Reasoning Web. Semantic Technologies for Inform...
64,91 € *
ggf. zzgl. Versand

This book contains a collection of seven thoroughly revised tutorial papers based on lectures given by leading researchers at the 5th International Summer School on the Reasoning Web, held in Brixen-Bressanone, Italy, from August 30 to September 4, 2009. The objective of the book is to provide a coherent introduction to semantic web methods and research issues with a particular emphasis on reasoning.The focus of this year's event was on the use of semantic technologies to enhance data access on the web. Topics covered include design and analysis of reasoning procedures for description logics, answer set programming basics, its modeling methodology and its principal extensions tailored for semantic web applications, languages for constraining and querying XML data, RDF database theory and efficient and scalable support for RDF/OWL data storage, loading, inferencing and querying, tractable description logics and their use for ontology-based data access, and the social semantic desktop, which defines a user's personal information environment as a source and end-point of the semantic web.

Anbieter: Dodax
Stand: 31.05.2020
Zum Angebot
Foundations of Information and Knowledge Systems
70,59 € *
ggf. zzgl. Versand

This book constitutes the refereed proceedings of the 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020, held in Dortmund, Germany, in February 2020. The 19 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers address various topics such as big data, database design, dynamics of information, information fusion, integrity and constraint management, intelligent agents, knowledge discovery and information retrieval, knowledge representation, reasoning and planning, logics in databases and AI, mathematical foundations, security in information and knowledge systems, semi-structured data and XML, social computing, the semantic web and knowledge management, and the world wide web.

Anbieter: Dodax
Stand: 31.05.2020
Zum Angebot
Foundations of Information and Knowledge Systems
142,08 € *
ggf. zzgl. Versand

This book constitutes the refereed proceedings of the 10th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2018, held in Budapest, Hungary, in May 2018. The 20 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 40 submissions. The papers address various topics such as big data, database design, dynamics of information, information fusion, integrity and constraint management, intelligent agents, knowledge discovery and information retrieval, knowledge representation, reasoning and planning, logics in databases and AI, mathematical foundations, security in information and knowledge systems, semi-structured data and XML, social computing, the semantic web and knowledge management, and the world wide web.

Anbieter: Dodax
Stand: 31.05.2020
Zum Angebot
Reasoning Web. Semantic Technologies
61,90 CHF *
ggf. zzgl. Versand

This book contains a collection of seven thoroughly revised tutorial papers based on lectures given by leading researchers at the 5th International Summer School on the Reasoning Web, held in Brixen-Bressanone, Italy, from August 30 to September 4, 2009. The objective of the book is to provide a coherent introduction to semantic web methods and research issues with a particular emphasis on reasoning. The focus of this year's event was on the use of semantic technologies to enhance data access on the web. Topics covered include design and analysis of reasoning procedures for description logics; answer set programming basics, its modeling methodology and its principal extensions tailored for semantic web applications; languages for constraining and querying XML data; RDF database theory and efficient and scalable support for RDF/OWL data storage, loading, inferencing and querying; tractable description logics and their use for ontology-based data access; and the social semantic desktop, which defines a user's personal information environment as a source and end-point of the semantic web.

Anbieter: Orell Fuessli CH
Stand: 31.05.2020
Zum Angebot