Alon Y. Levy, et al.  Home/Search
Context
Related
| wfu.edu/~burg/ILPS95/ILPS9...levy.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: wfu.edu/~burg/ILPS95/ILPS95 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We describe carin, a novel family of hybrid declarative programming languages, that extend the expressive power of Horn rule languages by incorporating description logics as a constraint sublanguage. Description logics are declarative object-oriented languages that have been designed especially for the purpose of representing domains with rich hierarchical structure, and have been used in several applications. We address the key issue in such a hybrid language like carin, which is to... (Update)
Similar documents (at the sentence level):
33.8%: International Workshop on Description Logics - Borgida, Lenzerini, Nardi, Nebel (1995) (Correct)
27.7%: CARIN: A Representation Language Combining Horn Rules and.. - Levy (1996) (Correct)
Active bibliography (related documents): More All
0.3: Model Formulation as a Problem Solving Task: Computer-assisted.. - Gruber (1992) (Correct)
0.3: Network-Based Information Brokers - Fikes, Engelmore, Farquhar, Pratt (1995) (Correct)
0.2: Building-In Hybrid Theories - Uwe Petermann Fb (Correct)
Similar documents based on text: More All
0.3: The Limits on Combining Recursive Horn Rules with Description.. - Levy, Rousset (1996) (Correct)
0.3: The use of CARIN language and algorithms for Information.. - Lattes, Rousset (1998) (Correct)
0.3: Query Expansion in Description Logics and Carin - Rousset (Correct)
BibTeX entry: (Update)
@misc{ levy-carin,
author = "Alon Y. Levy and et al.",
title = "CARIN: Description Logics as a Constraint Language in Horn Rule Languages",
url = "citeseer.ist.psu.edu/249981.html" }
Citations (may not include all citations):189 Living with classic: When and how to use a kl-one-like langu.. - Brachman, Borgida et al. - 1991
169 Data model and query evaluation in global information system.. - Levy, Srivastava et al. - 1995
152 Decidable reasoning in terminological knowledge representati.. - Buchheit, Donini et al. - 1993
93 Feature constraint logics for unification grammars - Smolka - 1992
86 A deductive pattern matcher (context) - MacGregor - 1988
86 A terminological knowledge representation system with comple.. - Baader, Hollunder - 1991
65 An essential hybrid reasoning system: Knowledge and symbol l.. (context) - Brachman, Gilbert et al. - 1985
64 Optimizing datalog programs (context) - Sagiv - 1988
50 Towards the meaning of LIFE (context) - it-Kaci, Podelski - 1991
46 A description classifier for the predicate calculus (context) - MacGregor - 1994
18 and Divesh Srivastava (context) - Kirk, Levy et al. - 1995
13 Working Notes of the AAAI Spring Symposium on Information Ga.. (context) - Knoblock, Levy - 1995
11 The BACK system : an overview (context) - Petalson - 1991
10 A hybrid system integrating datalog and concept languages (context) - Donini, Lenzerini et al. - 1991
9 Combining terminological and rulebased reasoning for abstrac.. (context) - Hanschke, Hinkelman - 1992
8 A principled approach to reasoning about the specificity of .. (context) - Yen - 1990
4 A resolution principle for constrained logics (context) - Burckert - 1994
3 How things work project overview (context) - Fikes, Gruber et al. - 1991
2 A layer architecture for the integration of rules (context) - Abecker, Wache - 1994
1 EVA: modelisation et representation de connaissances heterog.. (context) - Erce - 1995
Documents on the same site (http://web.mthcsc.wfu.edu/~burg/ILPS95/ILPS95.html): More
Towards Native Code Generation in CLP - Tsarchopoulos (1995) (Correct)
Integrating Stochastic Solvers with Constraint Logic Programming - Stuckey, Tam (Correct)
Reasoning with Aggregation Constraints in Views - Dar, Jagadish, Levy, Srivastava (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC