Piro, Robert
- 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