1435 search results - page 179 / 287 » Description Logics |
138
Voted
ER
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The alignment of different ontologies requires the specification, representation and execution of translation rules. The rules need to integrate translations at the lexic...
126
Voted
OWLED
2008
15 years 5 months ago
2008
We view OWL instance data evaluation as a process in which instance data is checked for conformance with application requirements. We previously identified some integrity issues ra...
120
click to vote
DLOG
2006
15 years 5 months ago
2006
We recently proposed action formalisms based on description logics (DLs) as decidable fragments of well-established action theories such as the Situation Calculus and the Fluent C...
128
click to vote
DLOG
2003
15 years 5 months ago
2003
We present lower bounds on the computational complexity of satisfiability and subsumption in several description logics. We interpret these lower bounds as coming from different...
137
Voted
DLOG
2003
15 years 5 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...