The equivalence of model-theoretic and structural subsumption in description logics

Authors:
Robert Dionne;Eric Mays;Frank J. Oles
Affiliations:
IBM T. J. Watson Research Center, Yorktown Heights, NY;IBM T. J. Watson Research Center, Yorktown Heights, NY;IBM T. J. Watson Research Center, Yorktown Heights, NY
Venue:
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Year:
1993

Citing 4
Cited 1

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
KRIS: Knowledge Representation and Inference System

ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
K-Rep system overview

ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems

Abstract concept lattices

ICFCA'11 Proceedings of the 9th international conference on Formal concept analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract

The problem of finding a set of assumptions which explain a given proposition is in general NP-hard, even when the background theory is an acyclic Horn theory. In this paper it is shown that when the background theory is acyclic Horn and its pseudo-completion ...