 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
| • |
Key
aim: import DL ontologies into LP
rulebase.
|
|
|
| • |
Þ Consistency
of the result/merge is an issue.
|
|
|
| • |
Ways
to achieve robustness:
|
|
|
|
– |
1.
Use DLP for ontologies, rather than full DL.
|
|
|
|
– |
2.
Exploit LP’s nonmonotonic expressiveness:
|
|
|
|
• |
Negation
as failure; or more generally:
|
|
|
|
• |
Courteous
LP’s prioritized conflict handling
|