Non-Rigid Designators in Modal and Temporal Free Description Logics.
Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter
Browse the full KR paper archive.
Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter
Browse the full KR paper archive.