Deduction in Concept Languages: from Subsumption to Instance Checking
Representation
Base (topology)
DOI:
10.1093/logcom/4.4.423
Publication Date:
2007-01-04T21:44:54Z
AUTHORS (4)
ABSTRACT
Journal Article Deduction in Concept Languages: from Subsumption to Instance Checking Get access FRANCESCO M. DONINI, DONINI Dipartimento di Informatica e Sistemistica, Università Roma "La Sapienza"Via Salaria 113, 00198 Roma, Italia E-mail: doninilenzerininardiaschaerf@assi.dis.uniromal.it Search for other works by this author on: Oxford Academic Google Scholar MAURIZIO LENZERINI, LENZERINI DANIELE NARDI, NARDI ANDREA SCHAERF of Logic and Computation, Volume 4, Issue August 1994, Pages 423–452, https://doi.org/10.1093/logcom/4.4.423 Published: 01 1994 history Received: 28 July 1992
SUPPLEMENTAL MATERIAL
Coming soon ....
REFERENCES (0)
CITATIONS (45)
EXTERNAL LINKS
PlumX Metrics
RECOMMENDATIONS
FAIR ASSESSMENT
Coming soon ....
JUPYTER LAB
Coming soon ....