Sciweavers

3793 search results - page 299 / 759
» Expressive Description Logics
Sort
View
COOPIS
2002
IEEE
15 years 11 months ago
Formal Ontology Engineering in the DOGMA Approach
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
Mustafa Jarrar, Robert Meersman
AIL
2007
126views more  AIL 2007»
15 years 6 months ago
A web ontologies framework for digital rights management
In order to improve the management of copyright in the Internet, known as Digital Rights Management, there is the need for a shared language for copyright representation. Current a...
Roberto García, Rosa Gil, Jaime Delgado
COMPUTER
2007
135views more  COMPUTER 2007»
15 years 6 months ago
A Language for Human Action
and therefore should be implemented outside the sensory-motor system. This way, meaning for a concept amounts to the content of a symbolic expression, a definition of the concept ...
Gutemberg Guerra-Filho, Yiannis Aloimonos
SLIP
2000
ACM
15 years 11 months ago
Prediction of interconnect fan-out distribution using Rent's rule
Based on Rent’s rule, a well-established empirical relationship, a rigorous derivation of the interconnect fan-out distribution for random logic networks is performed. Through c...
Payman Zarkesh-Ha, Jeffrey A. Davis, William Loh, ...
ATAL
2006
Springer
15 years 10 months ago
A stochastic language for modelling opponent agents
There are numerous cases where a reasoning agent needs to reason about the behavior of an opponent agent. In this paper, we propose a hybrid probabilistic logic language within wh...
Gerardo I. Simari, Amy Sliva, Dana S. Nau, V. S. S...