AI HUM JI JIN · JIN System Architect OWL: The Language That Was Right About Everything and Still Didn’t Win Semantic Layer
AI HUM MO Monteiro Del Prete Inference engine for satisfiability in ALC I was analyzing papers on the web for an academic project when I realized that the state of art about the concept satisfiability in…