Folgen
Rafael Peñaloza
Rafael Peñaloza
University of Milano-Bicocca
Bestätigte E-Mail-Adresse bei unimib.it - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Pinpointing in the Description Logic EL+
F Baader, R Penaloza, B Suntisrivaraporn
KI 2007: Advances in Artificial Intelligence, 52-67, 2007
255*2007
Axiom pinpointing in general tableaux
F Baader, R Penaloza
Journal of Logic and Computation 20 (1), 5-34, 2010
1642010
Automata-based axiom pinpointing
F Baader, R Penaloza
Journal of Automated Reasoning 45 (2), 91-129, 2010
1212010
Undecidability of fuzzy description logics
S Borgwardt, R Penaloza
Proceedings of the 13th International Conference on Principles of Knowledge …, 2012
752012
Making repairs in description logics more gentle
F Baader, F Kriegel, A Nuradiansyah, R Penaloza Nyssen
Proceedings of the Sixteenth International Conference on Principles of …, 2018
732018
Repairing ontologies via axiom weakening
N Troquard, R Confalonieri, P Galliani, R Penaloza, D Porello, O Kutz
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
722018
The limits of decidability in fuzzy description logics with general concept inclusions
S Borgwardt, F Distel, R Peñaloza
Artificial Intelligence 218, 23-55, 2015
702015
Axiom pinpointing in general tableaux
F Baader, R Penaloza
Automated Reasoning with Analytic Tableaux and Related Methods: 16th …, 2007
642007
Image schema combinations and complex events
MM Hedblom, O Kutz, R Peñaloza, G Guizzardi
KI-Künstliche Intelligenz 33, 279-291, 2019
622019
Context-dependent views to axioms and consequences of semantic web ontologies
F Baader, M Knechtel, R Penaloza
Journal of Web Semantics 12, 22-40, 2012
622012
On the undecidability of fuzzy description logics with GCIs and product t-norm
F Baader, R Peñaloza
International Symposium on Frontiers of Combining Systems, 55-70, 2011
582011
The Complexity of Lattice-Based Fuzzy Description Logics: From to
S Borgwardt, R Peñaloza
Journal on Data Semantics 2 (1), 1-19, 2013
552013
A generic approach for large-scale ontological reasoning in the presence of access restrictions to the ontology’s axioms
F Baader, M Knechtel, R Peñaloza
The Semantic Web-ISWC 2009: 8th International Semantic Web Conference, ISWC …, 2009
552009
Understanding the complexity of axiom pinpointing in lightweight description logics
R Penaloza, B Sertkaya
Artificial Intelligence 250, 80-104, 2017
532017
Automata can show PSPACE results for description logics
F Baader, J Hladik, R Penaloza
Information and Computation 206 (9-10), 1045-1056, 2008
522008
On the complexity of axiom pinpointing in the EL family of description logics
R Peñaloza, B Sertkaya
512010
Are fuzzy description logics with general concept inclusion axioms decidable?
F Baader, R Peñaloza
Fuzzy Systems (FUZZ), 2011 IEEE International Conference on, 1735-1742, 2011
502011
Representing a reference foundational ontology of events in
A Botti Benevides, JR Bourguet, G Guizzardi, R Peñaloza, JPA Almeida
Applied Ontology 14 (3), 293-334, 2019
482019
The Bayesian Description Logic BEL
İİ Ceylan, R Peñaloza
Automated Reasoning, 480-494, 2014
48*2014
BEACON: an efficient SAT-based tool for debugging ontologies
MF Arif, C Mencía, A Ignatiev, N Manthey, R Peñaloza, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2016
472016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20