Adding Default Attributes to EL++

Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011

Volumn , Issue , 2011, Pages 171-176

  Bonatti, Piero A ^a   Faella, Marco ^a   Sauro, Luigi ^a  

^a UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION; KNOWLEDGE REPRESENTATION;

ASYMPTOTIC COMPLEXITY; AXIOM SCHEMAS; DESCRIPTION LOGIC; INHERITANCE WITH OVERRIDING; LOWER COMPLEXITY; NONMONOTONIC; POLYNOMIAL-TIME;

POLYNOMIAL APPROXIMATION;

EID: 85167564051     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. Antoniou, G.; Billington, D.; Governatori, G.; and Maher, M. J. 2001. Representation results for defeasible logic. ACM Trans. Comput. Log. 2(2):255-287.
2. Baader, F., and Hollunder, B. 1995. Embedding defaults into terminological knowledge representation formalisms. J. Autom. Reasoning 14(1):149-180.
3. Baader, F.; McGuiness, D. L.; Nardi, D.; and Patel-Schneider, P. 2003. The Description Logic Handbook: Theory, implementation and applications. Cambridge University Press.
4. th Int. Joint Conf. on Artificial Intelligence, IJCAI-05, 364-369. Professional Book Center.
5. Baader, F. 2003. The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics. In Proc. of the 26th Annual German Conf. on AI, KI 2003, volume 2821 of LNCS, 64-78. Springer.
6. Bonatti, P. A., and Samarati, P. 2003. Logics for authorization and security. In Logics for Emerging Applications of Databases, 277-323. Springer.
7. Bonatti, P. A.; Faella, M.; and Sauro, L. 2009. Defeasible inclusions in low-complexity DLs: Preliminary notes. In IJCAI, 696-701.
8. Bonatti, P. A.; Faella, M.; and Sauro, L. 2010. EL with default attributes and overriding. In Int. Semantic Web Conf. (ISWC 2010), volume 6496 of LNCS, 64-79. Springer.
9. Bonatti, P. A.; Lutz, C.; and Wolter, F. 2009. The complexity of circumscription in DLs. J. Artif. Intell. Res. (JAIR) 35:717-773.
10. Cadoli, M.; Donini, F.; and Schaerf, M. 1990. Closed world reasoning in hybrid systems. In Proc. of ISMIS'90, 474-481. Elsevier.
11. Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2005. DL-Lite: Tractable description logics for ontologies. In Proc. of AAAI 2005, 602-607.
12. Casini, G., and Straccia, U. 2010. Rational closure for defeasible description logics. In JELIA, to appear.
13. Donini, F. M.; Nardi, D.; and Rosati, R. 1997. Autoepistemic description logics. In IJCAI (1), 136-141.
14. Donini, F. M.; Nardi, D.; and Rosati, R. 2002. Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Log. 3(2):177-225.
15. Finin, T. W.; Joshi, A.; Kagal, L.; Niu, J.; Sandhu, R. S.; Wins-borough, W. H.; and Thuraisingham, B. M. 2008. ROWLBAC: representing role based access control in OWL. In SACMAT, 73-82. ACM.
16. Giordano, L.; Gliozzi, V.; Olivetti, N.; and Pozzato, G. L. 2009. Prototypical reasoning with low complexity description logics: Preliminary results. In LPNMR, volume 5753 of LNCS, 430-436. Springer.
17. Grosof, B. N. 1997. Prioritized conflict handling for logic programs. In ILPS, 197-211.
18. Kolovski, V.; Hendler, J. A.; and Parsia, B. 2007. Analyzing web access control policies. In WWW, 677-686. ACM.
19. Nute, D. 1994. Defeasible logic. In Handbook of logic in artificial intelligence and logic programming, volume 3, 353-395.
20. Rector, A. L. 2004. Defaults, context, and knowledge: Alternatives for OWL-indexed knowledge bases. In Pacific Symposium on Biocomputing, 226-237. World Scientific.
21. Stevens, R.; Aranguren, M. E.; Wolstencroft, K.; Sattler, U.; Drummond, N.; Horridge, M.; and Rector, A. L. 2007. Using OWL to model biological knowledge. International Journal of Man-Machine Studies 65(7):583-594.
22. Uszok, A. et al. 2003. KAoS policy and domain services: Towards a description-logic approach to policy representation, deconfliction, and enforcement. In 4th IEEE Int. Workshop on Policies for Distributed Systems and Networks (POLICY), 93-96. IEEE Computer Soc.
23. Zhang, R.; Artale, A.; Giunchiglia, F.; and Crispo, B. 2009. Using description logics in relation based access control. In Description Logics, volume 477 of CEUR Workshop Proc. CEUR-WS.org.