A functional layer for description logics: knowledge representation meets object-oriented programming

Authors:
Ralf Möller
Affiliations:
University of Hamburg, Computer Science Department, Vogt-Kölln-Str. 30, D-22527 Hamburg, Germany
Venue:
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Year:
1996

Citing 14
Cited 0

Unifying functional, object-oriented and relational programming with logical semantics

Research directions in object-oriented programming
CLASSIC: a structural data model for objects

SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Reasoning and revision in hybrid representation systems

Reasoning and revision in hybrid representation systems
Common LISP: the language (2nd ed.)

Common LISP: the language (2nd ed.)
A framework for visualizing object-oriented systems

OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
The art of metaobject protocol

The art of metaobject protocol
The CLASSIC knowledge representation system: guiding principles and implementation rationale

ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Safe and decidable type checking in an object-oriented language

OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Object-oriented programming: the CLOS perspective

Object-oriented programming: the CLOS perspective
A knowledge-based configurator that supports sales, engineering, and manufacturing at AT&T Network Systems

AI Magazine
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Object-oriented experiences

Communications of the ACM - Special issue on object-oriented experiences and future trends
Roles and Dynamic Subclasses: A Modal Logic Approach

ECOOP '94 Proceedings of the 8th European Conference on Object-Oriented Programming
Traces (A Cut at the "Make Isn't Generic" Problem)

Proceedings of the First JSSST International Symposium on Object Technologies for Advanced Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper motivates the facilities provided by Description Logics in an object-oriented programming scenario. It presents a unification approach of Description Logics and object-oriented programming that allows both views to be conveniently used for different subproblems in a modern software-engineering environment. The main thesis of this paper is that in order to use Description Logics in practical applications, a seamless integration with object-oriented system development methodologies must be realized.