LEADER 04013nam 2200625 a 450 001 9910778765903321 005 20230421033145.0 010 $a0-309-58755-7 010 $a0-585-14319-6 035 $a(CKB)110986584751536 035 $a(EBL)3375996 035 $a(SSID)ssj0000100704 035 $a(PQKBManifestationID)11109012 035 $a(PQKBTitleCode)TC0000100704 035 $a(PQKBWorkID)10037061 035 $a(PQKB)11638774 035 $a(MiAaPQ)EBC3375996 035 $a(Au-PeEL)EBL3375996 035 $a(CaPaEBR)ebr10054987 035 $a(OCoLC)923260315 035 $a(EXLCZ)99110986584751536 100 $a19940908d1995 ua 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aAirborne geophysics and precise positioning$b[electronic resource] $escientific issues and future directions /$fCommittee on Geodesy, Board on Earth Sciences and Resources, Commission on Geosciences, Environment, and Resources, National Research Council 210 $aWashington, D.C. $cNational Academy Press$d1995 215 $a1 online resource (128 p.) 300 $aReport based on information presented at the Workshop on Airborne Geophysics, held on July 12-14, 1993, in Washington, D.C. 311 $a0-309-05183-5 320 $aIncludes bibliographical references (p. 105-111). 327 $a""Airborne Geophysics and Precise Positioning""; ""Copyright""; ""Preface""; ""Contents""; ""Executive Summary""; ""INTRODUCTION""; ""SUMMARY OF RECOMMENDATIONS""; ""1 Airborne Geophysics: A Powerful Tool for Studying the Earth ""; ""INTRODUCTION""; ""Access""; ""Sampling""; ""Interdisciplinary Studies""; ""PRECISE POSITION CAPABILITIES AND REQUIREMENTS""; ""MEASURING THE EARTH'S GRAVITY FIELD""; ""MEASURING THE EARTH'S SURFACE TOPOGRAPHY""; ""VERY HIGH RESOLUTION STUDIES WITH AIRBORNE TECHNIQUES""; ""2 Scientific Framework "" 327 $a""INTERDISCIPLINARY EARTH SCIENCE STUDIES AND AIRBORNE GEOPHYSICS""""Ice Dynamics and Sea Level Rise""; ""Erosion Processes and Landform Evolution""; ""Hydrologic Cycle""; ""CONTINENTAL GEODYNAMICS AND AIRBORNE GEOPHYSICS""; ""Active Tectonics""; ""Volcanology""; ""Regional Studies""; ""HIGH-RESOLUTION APPLICATIONS AND AIRBORNE GEOPHYSICS""; ""Resource Exploration""; ""Nuclear Verification""; ""GEODESY AND AIRBORNE GEOPHYSICS""; ""GLOBAL CHANGE MONITORING AND AIRBORNE GEOPHYSICS""; ""Monitoring Ice Sheets and Mountain Glaciers""; ""Monitoring Ocean Circulation""; ""Ecosystems""; ""Hydrology"" 327 $a""3 Future Directions """"MEASUREMENT AND POSITIONING TECHNOLOGY""; ""Airborne Measurements of the Earth's Gravity Field""; ""Airborne Surface Topography Measurements""; ""KINEMATIC GPS TECHNOLOGY""; ""Positioning Technology""; ""Navigation""; ""Orientation""; ""Future Directions for Airborne GPS Technology""; ""AIRBORNE PLATFORMS""; ""4 A Strategy for the Future ""; ""Appendix A Effects of Selective Availability (SA) and Antispoofing (AS) ""; ""Appendix B Conclusions from the Workshop on Airborne Geophysics ""; ""Appendix C Workshop on Airborne Geophysics: The Agenda "" 327 $a""Appendix D Workshop on Airborne Geophysics: List of Participants """"Acronyms""; ""References"" 606 $aGeophysics$xRemote sensing$vCongresses 606 $aEarth sciences$xRemote sensing$vCongresses 606 $aAeronautics in geodesy$vCongresses 606 $aAeronautics in earth sciences$vCongresses 615 0$aGeophysics$xRemote sensing 615 0$aEarth sciences$xRemote sensing 615 0$aAeronautics in geodesy 615 0$aAeronautics in earth sciences 676 $a550 712 02$aNational Research Council (U.S.).$bCommittee on Geodesy. 712 12$aWorkshop on Airborne Geophysics$f(1993 :$eWashington, D.C.) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910778765903321 996 $aAirborne geophysics and precise positioning$93830284 997 $aUNINA LEADER 05333nam 2200649 450 001 9910813907203321 005 20230721011234.0 010 $a1-61499-335-1 035 $a(CKB)2550000001179584 035 $a(EBL)1589003 035 $a(SSID)ssj0001080010 035 $a(PQKBManifestationID)11587019 035 $a(PQKBTitleCode)TC0001080010 035 $a(PQKBWorkID)11069331 035 $a(PQKB)11011929 035 $a(MiAaPQ)EBC1589003 035 $a(Au-PeEL)EBL1589003 035 $a(CaPaEBR)ebr10827954 035 $a(CaONFJC)MIL559723 035 $a(OCoLC)868068691 035 $a(EXLCZ)992550000001179584 100 $a20140123h20092009 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aSemantic matchmaking with nonmonotonic description logics /$fStephan Grimm 210 1$aHeidelberg, Germany :$cAKA :$cIOS Press,$d2009. 210 4$dİ2009 215 $a1 online resource (278 p.) 225 1 $aStudies on the Semantic Web,$x1868-1158 ;$vVolume 001 300 $aDescription based upon print version of record. 311 $a1-60750-009-4 311 $a1-306-28472-4 320 $aIncludes bibliographical references and index. 327 $aTile Page; Acknowledgements; Abstract; Contents; Introduction; Motivation; Research Objectives; Contributions; Research Fields; Particular Contributions; Publications; Reader's Guide; Foundations; Knowledge Representation and Reasoning; Principles of Knowledge Representation; Forms of Representing Knowledge; Reasoning about Knowledge; Logical Knowledge Representation Formalisms; Classical Model-Theoretic Semantics; Description Logics; Nonmonotonic Logics; Logic Programming; Knowledge Representation Paradigms; Open-World versus Closed-World View; Conceptual Modelling versus Rules 327 $aClear-Cut Predication versus MetamodellingOntologies and the Semantic Web; Ontologies in Information Systems; Notion of an Ontology; Appearance of Ontologies; Utilisation of Ontologies; Semantic Annotation in the Web; The Semantic Web Vision; Ontology Languages for the Semantic Web; OWL and Description Logics; The Web Ontology Language OWL; Syntax and Semantics; Web Aspects and RDF(S)-Compatibility; Software Support; Description Logics; Formal Syntax and Semantics; Reasoning Problems; Concrete Domains; Reasoning with OWL Ontologies; Validation; Deduction 327 $aNonmonotonic Reasoning in the Semantic WebNonmonotonic Description Logics; Autoepistemic Description Logics; Formal Semantics for Autoepistemic DLs; Reasoning with Epistemic Operators; Circumscriptive Description Logics; Formal Semantics for Circumscriptive DLs; Reasoning with Circumscribed Knowledge Bases; Terminological Defaults; Discussion; A Reasoning Algorithm for Circumscriptive Description Logics; Principle Idea of a Tableaux Extension; Extending DL Tableaux Calculi by Preference Clashes; Restrictions on the Formalism; Deciding Circumscriptive ALCO 327 $aConstraint Systems and their SolvabilityTableaux Expansion Rules; Notions of Clash and Detection of Inconsistencies; Sound and Complete Reasoning in Circumscriptive ALCO; Implementation and Optimisation Issues; Prototypical Implementation; Possible Performance Optimisations; Reasoning in Rule-Based WSML; Rule-Based Inferencing and WSML; The Web Service Modeling Language; Reasoning in Rule-Based WSML; Reduction of WSML to Datalog; Ontology Transformations; WSML Semantics through Meta-Level Axioms; WSML Reasoning by Datalog Queries; Realising Datatype Reasoning; Debugging Support 327 $aIdentifying Constraint ViolationsDebugging by Meta-Level Reasoning; System Architecture and Implementation; Architecture and Internal Layering; Interface and Integration with Existing Technology; Matchmaking of Semantically Annotated Resources; Semantic Matchmaking with Description Logics; Notion of Matchmaking; Intuition; Technical Characterisation; Applications; Ontology-Based Modelling of Resources in Description Logics; Resource Classes as Description Logic Concepts; Variance and Incompleteness in Resource Descriptions; Intuitive Reading of DL-Based Descriptions 327 $aExample Scenario of an Electronic Marketplace 330 $aSemantic web has grown into a mature field of research. Its methods find innovative applications on and off the World Wide Web. Its underlying technologies have significant impact on adjacent fields of research and on industrial applications. This new book series reports on the state-of-the-art in foundations, methods, and applications of semantic web and its underlying technologies. It is a central forum for the communication of recent developments and comprises research monographs, textbooks and edited volumes on all topics related to the semantic web. In this first volume several non-monoto 410 0$aStudies on the Semantic Web ;$vv. 1. 606 $aSemantic Web 606 $aDescription logics 615 0$aSemantic Web. 615 0$aDescription logics. 676 $a025.04 700 $aGrimm$b Stephen$01678575 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910813907203321 996 $aSemantic matchmaking with nonmonotonic description logics$94046332 997 $aUNINA