706 search results - page 44 / 142 » Conceptual Modeling with Description Logics |
141
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Multi-agent systems are now being considered a promising architectural approach for building Internet-based applications. One of the most critical and important aspects of softwar...
169
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
166
Voted
ESWS
2008
Springer
15 years 7 months ago
2008
Springer
We describe ViCoS, a tool for constructing and visualising conceptual spaces in the area of language documentation. ViCoS allows users to enrich existing lexical information about ...
180
click to vote
COOPIS
2002
IEEE
15 years 10 months ago
2002
IEEE
We extend the description logic ¢¤£¦¥¦§©¨ with a preference order on the axioms. With this strict partial order certain axioms can be overruled, if defeated with more ...
155
click to vote
EDBT
1998
ACM
15 years 10 months ago
1998
ACM
In this paper we present MD, a logical model for OLAP systems, and show how it can be used in the design of multidimensional databases. Unlike other models for multidimensional dat...