<%@ page language="java" contentType="text/html" %>
<%-- Include common initialisation code --%>
<%@ include file="/arch/common.jsp" %>
<%-- The current tab --%>
<% String currentTab = "Research"; %>
<%-- Content of navigation pane --%>
<%@ include file="nav.jsp" %>
<% showCurrentLink=true; %>
<%-- Current navigation location --%>
<% String currentNav = "Reports and Theses"; %>
<%-- Include the code for the document header --%>
<%@ include file="/arch/header.jsp" %>
Research Report CS-RR-325
<%-- Include the code for the lines and navigation --%>
<%@ include file="/arch/middle.jsp" %>
Natasha Kurtonina and Maarten de Rijke,
Expressiveness of First-Order Description Logics
(December 16, 1997).
Abstract
We introduce a method for characterizing the expressive power of
first-order description logics. The method is essentially model-theoretic
in nature in that it gives preservation results uniquely identifying a
wide range of description logics as fragments of first-order logic. The
languages studied in the paper all belong to the well-known FL- and
AL hierarchies.
Download
cs-rr-325.ps.gz
<%-- Include the code for the document footer --%>
<%@ include file="/arch/footer.jsp" %>