Matches in DBpedia 2016-04 for { <http://www.cs.man.ac.uk/~ezolin/dl/bib/Correspondence_theory_for_terminological_logics_%28IJCAI_1991%29.pdf> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- Correspondence_theory_for_terminological_logics_%28IJCAI_1991%29.pdf accessdate "2012-10-25".
- Correspondence_theory_for_terminological_logics_%28IJCAI_1991%29.pdf first "Klaus".
- Correspondence_theory_for_terminological_logics_%28IJCAI_1991%29.pdf isCitedBy Description_logic.
- Correspondence_theory_for_terminological_logics_%28IJCAI_1991%29.pdf last "Schild".
- Correspondence_theory_for_terminological_logics_%28IJCAI_1991%29.pdf publisher "KIT-BACK".
- Correspondence_theory_for_terminological_logics_%28IJCAI_1991%29.pdf title "Correspondence theory for terminological logics: Preliminary Report".
- Correspondence_theory_for_terminological_logics_%28IJCAI_1991%29.pdf url "http://www.cs.man.ac.uk/~ezolin/dl/bib/Correspondence_theory_for_terminological_logics_%28IJCAI_1991%29.pdf".
- Correspondence_theory_for_terminological_logics_%28IJCAI_1991%29.pdf work "KIT Report 91".