vix.ing · top · new · best · stats · spec

Piro, Robert

  1. Description Logic TBoxes: Model-theoretic Characterizations and Rewritability
    2011/04/14 by Carsten Lutz, Lutz, Carsten, Robert Piro +3 · 3 citations
    Computer Science · #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #Service-Oriented Architecture and Web Services