Searching for "FaCT and DLP." – sorted by Relevance.
24 documents found, showing 1 through 10.
Next 10 →
-
FaCT and DLP
- …FaCT and DLP Ian Horrocks 1;2 and Peter F. Patel-Schneider 3 1 Medical Informatics Group…
- Cited by 12 (1 self) – Add To MetaCart
-
DLP and FaCT
- …DLP and FaCT Peter F. Patel-Schneider 1 and Ian Horrocks 2 1 Bell Labs Research, Murray Hill…
- Cited by 4 (0 self) – Add To MetaCart
-
Optimising Propositional Modal Satisfiability for Description Logic Subsumption
- …. Currently-implemented representation systems that employ these techniques, such as FaCT and DLP, make…
- Cited by 11 (2 self) – Add To MetaCart
-
Optimising Description Logic Subsumption
- … description logic system are FaCT [29], a full description logic system, and DLP [37], an experimental system…
- Cited by 46 (15 self) – Add To MetaCart
-
Optimizing Description Logic Subsumption
- … the knowledge base. With their higher levels of optimization, FaCT and DLP are able to quickly load…
- Cited by 44 (6 self) – Add To MetaCart
-
Comparing subsumption optimizations
- … description logic system are FaCT [9], a full description logic system, and DLP [12], an experimental system…
- Cited by 19 (11 self) – Add To MetaCart
-
Generating Hard Modal Problems for Modal Decision Procedures
- … 70 80 worst case CPU time (s) L/N TA KSAT FaCT DLP 0.01 0.1 1 10 100 1000 0 10 20 30 40 50 60 70 80…
- Cited by 1 (1 self) – Add To MetaCart
-
Applying an ALC ABox consistency tester to modal logic SAT problems
- … of the algorithms used in the FaCT architecture [5]. One of the main results of the research on FaCT and DLP…
- Cited by 5 (3 self) – Add To MetaCart
-
Applying an ABox Consistency Tester to Modal Logic SAT Problems
- … of the algorithms used in the FaCT architecture [5]. One of the main results of the research on FaCT and DLP…
- Add To MetaCart
-
unknown title
- …], the TableauxWork Bench [1], FaCT [11], DLP [15] and RACER [9]. TABLEAUX, Lotrec, LWB and the Tableaux Work…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
