Loading...
Please wait, while we are loading the content...
Similar Documents
Adding default attributes to EL + + Paper
| Content Provider | Semantic Scholar |
|---|---|
| Copyright Year | 2011 |
| Abstract | The research on low-complexity nonmonotonic description logics recently identified a fragment of EL⊥, supporting defeasible inheritance with overriding, where reasoning can be carried out in polynomial time. We contribute to that framework by supporting more axiom schemata and all the constructs of EL without increasing asymptotic complexity. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://people.fisica.unina.it/~sauro/pubblicazioni/circDLaaai2011.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |