• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

DMCA

Description Logic Programs: Combining Logic Programs with Description Logic (2002)

Cached

  • Download as a PDF

Download Links

  • [ebusiness.mit.edu]
  • [www.daml.org]
  • [www.daml.org]
  • [www.mit.edu]
  • [www.mit.edu]
  • [web.mit.edu]
  • [daml.semanticweb.org]
  • [pride.daml.org]
  • [www.mit.edu]
  • [ebiz.mit.edu]
  • [ebusiness.mit.edu]
  • [ebusiness.mit.edu]
  • [digital.mit.edu]
  • [ebusiness.mit.edu]
  • [www.cs.man.ac.uk]
  • [www.cs.man.ac.uk]
  • [www.comlab.ox.ac.uk]
  • [www.mit.edu]
  • [www.mit.edu]
  • [www.cs.ox.ac.uk]
  • [web.mit.edu]
  • [stuff.mit.edu]
  • [www.informatik.uni-leipzig.de]
  • [www.mit.edu]
  • [www.cs.man.ac.uk]
  • [www.informatik.uni-leipzig.de]
  • [dspace.mit.edu]
  • [dspace.mit.edu]

  • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Benjamin N. Grosof , Ian Horrocks
Citations:529 - 46 self
  • Summary
  • Citations
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

Citations

606 The Description Logic Handbook - BAADER, CALVANESE, et al. - 2003
373 Resource Description Framework (RDF) Schema Specification. - Brickley, Guha - 1999
353 Practical reasoning for expressive description logics’, in - Horrocks, Sattler, et al. - 1999
306 A correspondence theory for terminological logics: Preliminary report - Schild - 1991
255 On the decidability of query containment under constraints - Calvanese, Giacomo, et al. - 1998
242 Logic programming and knowledge representation - Baral, Gelfond - 1994
241 The complexity of concept languages - Donini, Lenzerini, et al. - 1997
229 G.: Attributive concept descriptions with complements - Schmidt-Schauß, Smolka - 1991
175 On the relative expressiveness of description logics and predicate logics - Borgida - 1996
162 U.: Ontology reasoning in the SHOQ(D) description logic. - Horrocks, Sattler - 2001
153 On the restraining power of guards - Grädel - 1999
132 Why is modal logic so robustly decidable - Vardi - 1997
124 SweetDeal: Representing agent contracts with exceptions using Semantic Web rules, ontologies, and process descriptions. - Grosof, Poon - 2004
109 Foundations of Logic Programming, Second, Extended Edition. - Lloyd - 1987
92 Linear time algorithms for testing the satisfiability of propositional horn formulae - Dowling, Gallier - 1984
81 A Declarative Approach to Business Rules in Contracts: Courteous Logic Programs in XML, - Labrou - 1999
59 How to decide query containment under constraints using a description logic - Horrocks, Sattler, et al. - 2000
48 Automated Negotiation from Declarative Contract Descriptions. In - Reeves, Wellman, et al. - 2001
30 B.Grosof, ?Knowledge Integration to overcome Ontological Heterogeneity: Challenges from Financial Information Systems?,pp. - Madnick - 2002
24 Representing e-business rules for the semantic web: Situated courteous logic programs in ruleml - Grosof - 2001
22 Financial information integration in the presence of equational ontological conflicts. MIT Sloan Working Paper No. 440802; CISL Working Paper No - Firat, Madnick, et al. - 2002
20 OWL web ontology language 1.0 reference - Dean, Connolly, et al. - 2002
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University