185
click to vote
DLOG
14 years 13 days ago
2011 
In this paper we present a formal framework and tool supporting the user in the task of formulating a precise query – which best captures their information needs – even in the ...
158
click to vote
DLOG
14 years 13 days ago
2011 
This paper examines a new technique based on tableau, that allows one to introduce composition of roles from the right hand side of complex role inclusion axioms (RIAs). Our motiva...
113
click to vote
DLOG
14 years 13 days ago
2011
Recent research has shown that labeling ontologies can be useful for restricting the access to some of the axioms and their implicit consequences. However, the labeling of the axio...
123
click to vote
DLOG
14 years 13 days ago
2011 
Abstract. For a number of problems, such as ontology learning or image labeling, we need to handle uncertainty and inconsistencies in an appropriate way. Fuzzy and Probabilistic De...
|
Automated Reasoning