Journal of Logic and Computation

Articles

P Patel-Schneider and M-C Rousset

Editorial. Special issue on description logics
J Logic Computation 1999 9: 265-266; doi:10.1093/logcom/9.3.265 [PDF] [Request Permissions]  

I Horrocks and PF Patel-Schneider

Optimizing description logic subsumption
J Logic Computation 1999 9: 267-293; doi:10.1093/logcom/9.3.267 [Abstract] [PDF] [Request Permissions]  

D Calvanese, G De Giacomo, and M Lenzerini

Representing and reasoning on XML documents: a description logic approach
J Logic Computation 1999 9: 295-318; doi:10.1093/logcom/9.3.295 [Abstract] [PDF] [Request Permissions]  

F Baader and U Sattler

Expressive number restrictions in description logics
J Logic Computation 1999 9: 319-350; doi:10.1093/logcom/9.3.319 [Abstract] [PDF] [Request Permissions]  

V Haarslev, C Lutz, and R Möller

A description logic with concrete domains and a role-forming predicate operator
J Logic Computation 1999 9: 351-384; doi:10.1093/logcom/9.3.351 [Abstract] [PDF] [Request Permissions]  

I Horrocks and U Sattler

A description logic with transitive and inverse roles and role hierarchies
J Logic Computation 1999 9: 385-410; doi:10.1093/logcom/9.3.385 [Abstract] [PDF] [Request Permissions]  

F Baader, R Küsters, A Borgida, and DL McGuinness

Matching in description logics
J Logic Computation 1999 9: 411-447; doi:10.1093/logcom/9.3.411 [Abstract] [PDF] [Request Permissions]  

E Franconi, G De Giacomo, IR Horrocks, DL McGuinness, W Nutt, PF Patel-Schneider, and CA Welty

Conferences. Report on the 1998 International Workshop on Description Logics (DL'98)
J Logic Computation 1999 9: 449-456; doi:10.1093/logcom/9.3.449 [PDF] [Request Permissions]  

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.