Piero A. Bonatti
5 papers
· 2018–2023
· 1 conference
· across top CS/AI conferences
Achievements
🐝
Cross-Pollinator
(12)
🌉
Interdisciplinary Bridge
🏃
Academic Marathon
(5)
🧭
Keyword Pioneer
🐺
Lone Wolf
(3)
🏆
Keyword Champion
(3)
📈
Trend Setter
Conferences
IJCAI (5)
Top co-authors
Keywords
description logic
(3)
nonmonotonic reasoning
(3)
knowledge representation
(2)
ontology reasoning
(1)
query answering
(1)
semantic web
(1)
compliance checking
(1)
reasoning mechanism
(1)
rational closure
(1)
security analysis
(1)
module extraction
(1)
attacker model
(1)
knowledge protection
(1)
logical properties
(1)
klm postulate
(1)
subsumption algorithm
(1)
structural subsumption
(1)
data protection
(1)
nonmonotonic logic
(1)
Papers
Fast Compliance Checking in an OWL2 Fragment
IJCAI 2018