Extending Tableaux Calculus with Limited Regular Expression for Role Path: an Application to Natural Language Processing.
François de Bertrand de BeuvronDavid RudloffMichael SchlickPublished in: Description Logics (1998)
Keyphrases
- regular expressions
- natural language processing
- pattern matching
- finite automata
- information extraction
- machine learning
- query language
- knowledge representation
- path expressions
- natural language
- deterministic finite automata
- artificial intelligence
- proof procedure
- semistructured data
- text mining
- static analysis
- query evaluation
- modal logic
- xml schema