Foundations of Semantic Web Technologies (Hardcover)

The Quest for Semantics Building Models Calculating with Knowledge Exchanging Information Semanic Web Technologies RESOURCE DESCRIPTION LANGUAGE (RDF) Simple Ontologies in RDF and RDF Schema Introduction to RDF Syntax for RDF Advanced Features Simple Ontologies in RDF Schema Encoding of Special Data Structures An Example RDF Formal Semantics Why Semantics? Model-Theoretic Semantics for RDF(S) Syntactic Reasoning with Deduction Rules The Semantic Limits of RDF(S) WEB ONTOLOGY LANGUAGE (OWL) Ontologies in OWL OWL Syntax and Intuitive Semantics OWL Species The Forthcoming OWL 2 Standard OWL Formal Semantics Description Logics Model-Theoretic Semantics of OWL Automated Reasoning with OWL RULES AND QUERIES Ontologies and Rules What Is a Rule? Datalog as a First-Order Rule Language Combining Rules with OWL DL Rule Interchange Format (RIF) Query Languages SPARQL: Query Language for RDF Conjunctive Queries for OWL DL BEYOND FOUNDATIONS Ontology Engineering Requirement Analysis Ontology Creation: Where Is Your Knowledge? Quality Assurance of Ontologies Modular Ontologies: Divide and Conquer Software Tools Applications Web Data Exchange and Syndication Semantic Wikis Semantic Portals Semantic Metadata in Data Formats Semantic Web in Life Sciences Ontologies for Standardizations RIF Applications Toward Future Applications APPENDICES Extensible Markup Language (XML) XML in a Nutshell Syntax of XML XML Schema Set Theory Basic Notions Set Operations Relations and Functions Logic Syntax Semantics Proof Theory and Decidability Solutions to the Exercises References Index A Summary, Exercises, and Further Reading appear at the end of most chapters.