Sciweavers

3809 search results - page 106 / 762
» Associative language descriptions
Sort
View
DLOG
2003
15 years 7 months ago
Conceptual Modeling with Description Logics
The purpose of the chapter is to help someone familiar with DLs to understand the issues involved in developing an ontology for some universe of discourse, which is to become a co...
Alexander Borgida, Ronald J. Brachman
KR
1998
Springer
15 years 10 months ago
Using an Expressive Description Logic: FaCT or Fiction?
Description Logics form a family of formalisms closely related to semantic networks but with the distinguishing characteristic that the semantics of the concept description langua...
Ian Horrocks
FMCAD
2000
Springer
15 years 10 months ago
B2M: A Semantic Based Tool for BLIF Hardware Descriptions
BLIF is a hardware description language designed for the hierarchical description of sequential circuits. We give a denotational semantics for BLIF-MV, a popular dialect of BLIF, t...
David A. Basin, Stefan Friedrich, Sebastian Mö...
AOSD
2004
ACM
15 years 11 months ago
Association aspects
We propose a linguistic mechanism for AspectJ-like languages that concisely associates aspect instances to object groups. The mechanism, which supports association aspects, extend...
Kouhei Sakurai, Hidehiko Masuhara, Naoyasu Ubayash...
WWW
2005
ACM
16 years 7 months ago
Association search in semantic web: search + inference
Association search is to search for certain instances in semantic web and then make inferences from and about the instances we have found. In this paper, we propose the problem of...
Bangyong Liang, Jie Tang, Juan-Zi Li