New Knowledge Technology Branches: Toward Ontological Engineering

Branch: The Formalization of Semantic Networks and the Rise of Description Logics

The primary advances in knowledge representation technology over the last 15 years can be attributed to the increasing role of formal logic in representation and reasoning formalisms and to the development of theories based on logical and mathematical principles. During the heyday of expert systems, AI research and development were primarily focused on systems-based AI principles and algorithms, which tended to be either ad hoc and unsystematic or else founded on the informal notions of semantic networks; logic was relegated to a subsidiary role. Knowledge bases were conceived originally as semantic ...

Get XML Topic Maps: Creating and Using Topic Maps for the Web now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.