Abstract | ||
---|---|---|
Representing and manipulating sequences in description logics (DLs) has typically been achieved through the use of new sequence-specific operators or by relying on host-language functions. This paper shows that it is not necessary to add additional features to a DL to handle sequences, and instead describes an approach for dealing with sequences as first-class entities directly within a DL without the need for extensions or extra-linguistic constructs. The key idea is to represent sequences using suffix trees, then represent the resulting trees in a DL using traditional (tractable) concept and role operators. This approach supports the representation of a variety of information about a sequence, such as the locations and numbers of occurrences of all subsequences of the sequence. Moreover, subsequence testing and pattern matching reduce to subsumption checking in this representation, while computing the least common subsumer of two terms supports the application of inductive learning to sequences. |
Year | Venue | Keywords |
---|---|---|
1997 | AAAI/IAAI | common subsumer,host-language function,description logic,role operator,key idea,new sequence-specific operator,representing sequence,pattern matching,first-class entity,extra-linguistic construct,additional feature |
Field | DocType | ISBN |
Suffix,Computer science,Description logic,Theoretical computer science,Operator (computer programming),Subsequence,Pattern matching | Conference | 0-262-51095-2 |
Citations | PageRank | References |
4 | 1.03 | 9 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Haym Hirsh | 1 | 1839 | 277.74 |
Daniel Kudenko | 2 | 678 | 84.54 |