1331 search results - page 79 / 267 » Description logic reasoning using the PTTP approach |
158
click to vote
DLOG
2003
15 years 7 months ago
2003
This paper describes our current activities to supply extended reasoning support to knowledge engineers who are building terminologies using Description Logics (DL) reasoners. The...
184
click to vote
DLOG
2010
15 years 4 months ago
2010
The task of generating referring expressions, an important subtask of Natural Language Generation is to generate phrases that uniquely identify domain entities. Until recently, man...
175
click to vote
ESWS
2009
Springer
16 years 23 days ago
2009
Springer
In this paper we describe a web-based tool that supports the human in revising ontology alignments. Our tool uses logical reasoning as a basis for detecting conflicts in mappings ...
169
click to vote
DLOG
2010
15 years 4 months ago
2010
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
179
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...