On the complexity of monotonic inheritance with roles:

Abstract: "We investigate the complexity of reasoning with monotonic inheritance hierarchies that contain, beside ISA edges, also ROLE (or FUNCTION) edges. A ROLE edge is an edge labelled with a name such as spouseof or brotherof. We call such networks ISAR networks. Given a network with n vert...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Guerreira, Ramiro A. de (VerfasserIn), Hamerly, Andrea S. (VerfasserIn), Shoham, Yoav (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Stanford, Calif. 1990
Schriftenreihe:Stanford University / Computer Science Department: Report STAN CS 1324
Schlagworte:
Zusammenfassung:Abstract: "We investigate the complexity of reasoning with monotonic inheritance hierarchies that contain, beside ISA edges, also ROLE (or FUNCTION) edges. A ROLE edge is an edge labelled with a name such as spouseof or brotherof. We call such networks ISAR networks. Given a network with n vertices and m edges we consider two problems: (P b1 s) determining whether the network implies an isa relation between two particular nodes, and (P b2 s) determining all isa relations implied by the network. As is well known, without ROLE edges the time complexity of P b1 s is O(m), and the time complexity of P b2 s is O(n p3 s). Unfortunately, the results do not extend naturally to ISAR networks, except in a very restricted case
For general ISAR network [sic] we first give an [sic] polynomial algorithm by an easy reduction to proposional Horn theory. As the degree of the polynomial is quite high (O(mn p4 s) for P b1 s, O(mn p6 s) for P b2 s), we then develop a more direct algorithm. For both P b1 s and P b2 s its complexity is O(n p3 s + m p2 s). Actually, a finer analysis of the algorithm reveals a complexity of O(nr(log r) + n p2 sr + n p3 s), where r is the number of different ROLE labels. One corolary [sic] is that if we fix the number of ROLE labels, the complexity of our algorithm drops back to O(n p3 s).
Beschreibung:6 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!