1283 search results - page 61 / 257 » Reasoning With Weighted Ontologies |
109
click to vote
KR
2010
Springer
15 years 4 months ago
2010
Springer
Cardinality constraints or, more generally, weight constraints are well recognized as an important extension of answer-set programming. Clearly, all common algorithmic tasks relat...
118
click to vote
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
Scalable query answering over Description Logic (DL) based ontologies plays an important role for the success of the Semantic Web. Towards tackling the scalability problem, we prop...
RR
2009
Springer
15 years 6 months ago
2009
Springer
ITS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
101
click to vote
SEMWEB
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents our ongoing effort on developing a principled methodology for automatic ontology mapping based on BayesOWL, a probabilistic framework we developed for modeling ...