OWL-QL is a formal language and protocol for a querying agent and an answering agent to use in conducting a query-answering dialogue using knowledge represented in OWL.