Search the World's Largest Database of Information Science & Technology Terms & Definitions
InfInfoScipedia LogoScipedia
A Free Service of IGI Global Publishing House
Below please find a list of definitions for the term that
you selected from multiple scholarly research resources.

What is Description Logics

Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches
Successors to Semantic Networks and Frame Based Languages which can represent both asserted and structural knowledge. Modern description logics stem from KL-ONE which formalized the ideas of Semantic Networks and Frames. A description logic can describe the world in terms of properties or constraints that specific individuals have to satisfy.
Published in Chapter:
Semantic Web Rule Languages for Geospatial Ontologies
Philip D. Smart (Cardiff University and University of Glamorgan, UK), Alia Abdelmoty (Cardiff University and University of Glamorgan, UK), and Baher A. El-Geresy (Cardiff University and University of Glamorgan, UK)
DOI: 10.4018/978-1-60566-402-6.ch007
Abstract
Geospatial ontologies have a key role to play in the development of the geospatial-Semantic Web, with regard to facilitating the search for geographical information and resources. They normally hold large volumes of geographic information and undergo a continuous process of revision and update. Limitations of the OWL ontology representation language for supporting geospatial domains are discussed and an integrated rule and ontology language is recognized as needed to support the representation and reasoning requirements in this domain. A survey of the current approaches to integrating ontologies and rules is presented and a new framework is proposed that is based on and extends Description Logic Programs. A hybrid representational approach is adopted where the logical component of the framework is used to represent geographical concepts and spatial rules and an external computational geometry processor is used for storing and manipulating the associated geometric data. A sample application is used to demonstrate the proposed language and engine and how they address the identified challenges.
Full Text Chapter Download: US $37.50 Add to Cart
More Results
Semantic Web Uncertainty Management
A decidable subset of first order logic.
Full Text Chapter Download: US $37.50 Add to Cart
E-Government Implementation of Ontology-Based Public Domain Data Knowledge Representation
A family of knowledge representation (KR) formalisms that represent the knowledge of an application domain by first defining the relevant concepts of the domain (its terminology), and then using these concepts to specify properties of objects and individuals occurring in the domain.
Full Text Chapter Download: US $37.50 Add to Cart
Inconsistency, Logic Databases, and Ontologies
Logical formalism to represent structured concepts and the relationships among them. Formally, it is a subset of First Order Logic dealing with concepts (monadic predicates) and roles (binary predicates) which are useful to relate concepts. KDB in DL are composed of a Tbox (the intensional component) and an Abox (Box of asserts, the extensional component part).
Full Text Chapter Download: US $37.50 Add to Cart
Application of Semantic Web Technology in E-Business: Case Studies in Public Domain Data Knowledge Representation
A family of knowledge representation (KR) formalisms that represent the knowledge of an application domain by first defining the relevant concepts of the domain (its terminology), and then using these concepts to specify properties of objects and individuals occurring in the domain.
Full Text Chapter Download: US $37.50 Add to Cart
Logic and Knowledge Bases
A class of logical formalisms for knowledge representation.
Full Text Chapter Download: US $37.50 Add to Cart
Semantic Annotation of Objects
A family of decidable logic based knowledge representation formalisms that is a basis for the current semantic web technologies.
Full Text Chapter Download: US $37.50 Add to Cart
A Review of Answering Queries over Ontologies Based on Databases
Is the most recent name for a family of knowledge representation (KR) formalisms that represent the knowledge of an application domain (the “world”) by first defining the relevant concepts of the domain (its terminology), and then using these concepts to specify properties of objects and individuals occurring in the domain (the world description).
Full Text Chapter Download: US $37.50 Add to Cart
eContent Pro Discount Banner
InfoSci OnDemandECP Editorial ServicesAGOSR