Ian Horrocks  Home/Search
Context Related
| mighp0.cs.man.ac.uk/p...dl99FaCT.ps.gz SunSITE.Informatik.RWTHA...horrocks.ps 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: img.cs.man.ac.uk/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier which has been implemented as a test-bed for a sound and complete... (Update)
Cited by: More
Open World Reasoning in Semantics-Aware - Access Control Preliminary (Correct)
The DIG Description Logic Interface - Bechhofer, Möller, Crowther (2003) (Correct)
Towards a Generic Framework for Semantic Registration of.. - Shawn Bowers And (2003) (Correct)
Active bibliography (related documents): More All
0.6: Practical Reasoning for Very Expressive Description Logics - Horrocks, Sattler, Tobies (2000) (Correct)
0.5: Practical Reasoning for Expressive Description Logics - Horrocks, Sattler, Tobies (1999) (Correct)
0.2: Practical Reasoning for Description Logics with.. - Horrocks, Sattler.. (1999) (Correct)
Similar documents based on text: More All
0.3: Using an Expressive Description Logic: FaCT or Fiction? - Horrocks (1998) (Correct)
0.3: A Proposal for an OWL Rules Language - Horrocks, Patel-Schneider (2004) (Correct)
0.3: Backtracking and Qualified Number Restrictions: Some Preliminary .. - Horrocks (Correct)
Related documents from co-citation: More All
20: Practical reasoning for expressive description logics - Horrocks, Sattler et al. - 1999
14: Description logics for conceptual data modeling - Calvanese, Lenzerini et al. - 1998
9: Temporal ER modeling with description logics (context) - Artale, Franconi - 1999
BibTeX entry: (Update)
I. Horrocks. FaCT and iFaCT. In Collected Papers from the International Description Logics Workshop (DL'99), to appear. http://citeseer.ist.psu.edu/224004.html More
@inproceedings{ horrocks99fact,
author = "Ian Horrocks",
title = "{FaCT} and {iFaCT}",
booktitle = "Description Logics",
year = "1999",
url = "citeseer.ist.psu.edu/224004.html" }
Citations (may not include all citations):176 A correspondence theory for terminological logics: Prelimina.. - Schild - 1991
89 Kris: Knowledge representation and inference system (context) - Baader, Hollunder - 1991
72 A description logic with transitive and inverse roles and ro.. - Horrocks, Sattler
57 Qualifying number restrictions in concept languages (context) - Hollunder, Baader - 1991
34 Using an expressive description logic: FaCT or ction - Horrocks - 1998
31 Source integration in data warehousing - Calvanese, De Giacomo et al. - 1998
31 DLP system description (context) - Patel-Schneider - 1998
10 Abox reasoning with transitive roles and axioms - Tessaris, Gough
10 A concept language extended with di erent kinds of transitiv.. (context) - Sattler - 1996
7 A note on encoding inverse roles and functional restrictions.. - Calvanese, De Giacomo et al. - 1998
6 abox reasoner { progress report (context) - Haarslev, oller et al. - 1998
4 A PSpace-algorithm for deciding ALCI R +- satisability (context) - Horrocks, Sattler et al. - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://img.cs.man.ac.uk/publications.htm): More
The Implementation of a Deductive Query Language Over.. - Dinn, Paton.. (1995) (Correct)
Description Logics And Multimedia - Applying Lessons Learnt.. - Bechhofer, Goble (1996) (Correct)
A Terminology Server for Integrating Clinical.. - Zanstra, Rector.. (1995) (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