Translating OWL and semantic web rules into prolog: Moving toward description logic programs

Theory and Practice of Logic Programming

Volumn 8, Issue 3, 2008, Pages 301-322

  Samuel, Ken ^a   Obrst, Leo ^a   Stoutenberg, Suzette ^a   Fox, Karen ^a   Franklin, Paul ^a   Johnson, Adrian ^a   Laskey, Ken ^a   Nichols, Deborah ^a   Lopez, Steve ^a   Peterson, Jason ^a  

^a MITRE CORPORATION   (United States)

Author keywords

Knowledge compilation; Logic programming; Ontologies; Rules; Semantic Web

Indexed keywords

DISJUNCTIVE HEADS; KNOWLEDGE COMPILATION;

CASE BASED REASONING; COMPUTER PROGRAMMING LANGUAGES; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; ONTOLOGY;

SEMANTIC WEB;

EID: 42949173427     PISSN: 14710684     EISSN: 14753081     Source Type: Journal    
DOI: 10.1017/S1471068407003249     Document Type: Article

References (35)