Philipp Hanschke

Learn More
A drawback which concept languages based on K L O N E have is that all the terminological knowledge has to be defined on an abstract logical level. In many applications, one would like to be able to refer to concrete domains and predicates on these domains when defining concepts. Examples for such concrete domains are the integers, the real numbers, or also(More)
A drawback which concept languages based on kl-one have is that all the termino-logical knowledge has to be deened on an abstract logical level. In many applications, one would like to be able to refer to concrete domains and predicates on these domains when deening concepts. Examples for such concrete domains are the integers, the real numbers, or also(More)
We shall consider an application in mechanical engineering, and shall show that the adequate modeling of the terminology of this problem domain in a conventional concept language poses two main representation problems. The first requires access to concrete domains, such as real numbers, while the second asks for a construct which can be used to represent(More)
The KL-ONE concept langu age provides role-value ma.ps (RVMs) as a concept forming operator that compares sets of role fillers. This is a useful means to specify structural properties of concepts. Recently, it has been shown that concept languages providing RVMs together with some other common concept-forming operators induce an undecidable subsumption(More)
Terminological reasoning systems directly support the abstraction mechanisms generalization and classification. But they do not bother about aggregation and have some problems with reasoning demands such as concrete domains, sequences of finite but unbounded size and derived attributes. The paper demonstrates the relevance of these issues in an analysis of(More)
trum f ¨ ur K ¨ unstliche Intelligenz, DFKI) with sites in Kaiserslautern and Saarbrücken is a non-profit organization which was founded in 1988. The shareholder com-search projects conducted at the DFKI are funded by the German Ministry for Research and Technology, by the shareholder companies, or by other industrial contracts. The DFKI conducts(More)