Sciweavers

1435 search results - page 95 / 287
» E-connections of Description Logics
Sort
View
KI
2002
Springer
15 years 28 days ago
Incremental Fuzzy Decision Trees
Abstract. We present a new classification algorithm that combines three properties: It generates decision trees, which proved a valuable and intelligible tool for classification an...
Marina Guetova, Steffen Hölldobler, Hans-Pete...
DLOG
1996
15 years 2 months ago
A Translation Scheme for Domain Ontologies Based on Model Ontologies of KBS
To ensure the re-use of domain ontologies the usual approach relies on a pivot language, e.g., Kif, intoandfromwhich the domainontologyis translated. This requires several distinc...
Houria Mihoubi, Ana Simonet, Michel Simonet
CADE
2008
Springer
16 years 1 months ago
MTT: The Maude Termination Tool (System Description)
Francisco Durán, Salvador Lucas, José...
ESWS
2010
Springer
15 years 3 months ago
Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs
Abstract. Description Logic Programs (DL-programs) have been introduced to combine ontological and rule-based reasoning in the context of the Semantic Web. A DL-program loosely com...
Jörg Pührer, Stijn Heymans, Thomas Eiter
DLOG
2003
15 years 2 months ago
Rule Based Computation of Updates to Terminologies
In this paper we formalise compilation of the conjunctive bodies of a restricted class of Horn rules into updates on terminologies. This involves a pre-processing of the graphs re...
Sanjay Modgil